Coccinelle release-1.0.0-rc11

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

diff --git a/engine/asttoctl2.mli b/engine/asttoctl2.mli
index 98828e3..56c353b 100644 (file)
--- a/engine/asttoctl2.mli
+++ b/engine/asttoctl2.mli
@@ -1,4 +1,8 @@
 (*
+ * Copyright 2012, INRIA
+ * Julia Lawall, Gilles Muller
+ * Copyright 2010-2011, INRIA, University of Copenhagen
+ * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  * This file is part of Coccinelle.
@@ -21,8 +25,7 @@
 
 
 type cocci_predicate = Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif
-type formula =
-    (cocci_predicate,Ast_cocci.meta_name, Wrapper_ctl.info) Ast_ctl.generic_ctl
+type top_formula = NONDECL of Lib_engine.ctlcocci | CODE of Lib_engine.ctlcocci
 
 val asttoctl :
     Ast_cocci.rule ->
@@ -30,7 +33,7 @@ val asttoctl :
         Ast_cocci.meta_name list list (* fresh used after *) *
         Ast_cocci.meta_name list list (* fresh used after seeds *)) ->
       Ast_cocci.meta_name list list (* positions *) ->
-      formula list
+      top_formula list
 
 val pp_cocci_predicate : cocci_predicate -> unit