Release coccinelle-0.1.1

[bpt/coccinelle.git] / engine / ctlcocci_integration.mli

diff --git a/engine/ctlcocci_integration.mli b/engine/ctlcocci_integration.mli
index 8dbeb76..593bca6 100644 (file)
--- a/engine/ctlcocci_integration.mli
+++ b/engine/ctlcocci_integration.mli
@@ -19,7 +19,8 @@ val mysat :
   Lib_engine.model -> 
   (Lib_engine.ctlcocci * (pred list list)) -> 
   (Lib_engine.mvar list * Lib_engine.metavars_binding) -> 
-  (Lib_engine.transformation_info *  bool * Lib_engine.metavars_binding list)
+  (Lib_engine.transformation_info *  bool * Lib_engine.metavars_binding *
+     Lib_engine.metavars_binding list)
 
 
 val print_bench : unit -> unit