Annotations to first-class modules for OCaml 3.12

OCaml 3.12 does not support inference of the type of first-class modules.
cil-project · Jun 30, 2014 · 9cbd8ae · 9cbd8ae
1 parent a4bb105
commit 9cbd8ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ext/pta/ptranal.ml b/src/ext/pta/ptranal.ml
@@ -53,7 +53,7 @@ let olf_option =
 module type OLF = module type of Olf
 module A =
   (val (Util.parse_argv_skip_unknown olf_option ignore;
-    if !olf_backend then (module Olf) else (module Golf)): OLF)
+    if !olf_backend then (module Olf : OLF) else (module Golf : OLF)): OLF)
 
 exception UnknownLocation = A.UnknownLocation