13 Oct
2015
13 Oct
'15
12:54 p.m.
--- src/librpm.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librpm.ml b/src/librpm.ml index dc80286..4eeba77 100644 --- a/src/librpm.ml +++ b/src/librpm.ml @@ -16,7 +16,7 @@ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA *) -external rpm_is_available : unit -> bool = "supermin_rpm_is_available" +external rpm_is_available : unit -> bool = "supermin_rpm_is_available" "noalloc" external rpm_version : unit -> string = "supermin_rpm_version" external rpm_vercmp : string -> string -> int = "supermin_rpm_vercmp" "noalloc" -- 2.5.0