Release coccinelle-0.1.2

[bpt/coccinelle.git] / engine / lib_engine.ml

diff --git a/engine/lib_engine.ml b/engine/lib_engine.ml
index ba36fc4..8b9bf26 100644 (file)
--- a/engine/lib_engine.ml
+++ b/engine/lib_engine.ml
@@ -42,6 +42,7 @@ type predicate =
   | BindBad  of Ast_cocci.meta_name
   | FakeBrace
 
+(* coccionly: *)
 type ctlcocci = (predicate, Ast_cocci.meta_name) Wrapper_ctl.wrapped_ctl
 
 
@@ -64,6 +65,7 @@ and metavars_binding2 = (mvar, metavar_binding_kind2) Common.assoc
 (*****************************************************************************)
 (* the CTL model related types *)
 (*****************************************************************************)
+(* coccionly: *)
 type label_ctlcocci = 
  predicate -> 
  (nodei *