Coccinelle release 1.0.0-rc15
[bpt/coccinelle.git] / ocaml / yes_prepare_ocamlcocci.ml
index a99612f..a37e01a 100644 (file)
@@ -374,7 +374,7 @@ let load_file mlfile =
 (*   let linklibs = link_libs lklibs in *)
   let flags =
     Printf.sprintf
-    "-thread -g -dtypes -I %s %s -I %s/globals -I %s/ocaml -I %s/parsing_c -I %s/commons "
+    "-g -I %s %s -I %s/globals -I %s/ocaml -I %s/parsing_c -I %s/commons "
       (sysdir ()) inc Config.path Config.path Config.path Config.path in
   let (obj, cmd) =
     if Config.dynlink_is_native