Coccinelle release 1.0.0-rc3

[bpt/coccinelle.git] / popl / popltoctl.ml

diff --git a/popl/popltoctl.ml b/popl/popltoctl.ml
index 1f7f457..7bb9787 100644 (file)
--- a/popl/popltoctl.ml
+++ b/popl/popltoctl.ml
@@ -49,8 +49,8 @@ let contains_modif =
     let res = k re in
     match Ast.unwrap re with
       Ast.FunHeader(bef,_,fninfo,name,lp,params,rp) ->
-      bind (mcode r ((),(),bef,Ast.NoMetaPos)) res
-    | Ast.Decl(bef,_,decl) -> bind (mcode r ((),(),bef,Ast.NoMetaPos)) res
+      bind (mcode r ((),(),bef,[])) res
+    | Ast.Decl(bef,_,decl) -> bind (mcode r ((),(),bef,[])) res
     | _ -> res in
   let recursor =
     V.combiner bind option_default
@@ -201,4 +201,4 @@ and guard_ctl_dots keep_wit = function
 
 (* --------------------------------------------------------------------- *)
 
-let toctl sl = ctl_seq true ctl_true sl
+let toctl sl = Asttoctl2.CODE (ctl_seq true ctl_true sl)