coccinelle release 1.0.0-rc2

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

diff --git a/engine/ctlcocci_integration.ml b/engine/ctlcocci_integration.ml
index 4ba7f5c..fbb0680 100644 (file)
--- a/engine/ctlcocci_integration.ml
+++ b/engine/ctlcocci_integration.ml
@@ -1,5 +1,7 @@
 (*
- * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
+ * Copyright 2010, 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.
  *
@@ -456,14 +458,16 @@ let strip env =
     (function (v,vl) ->
       let vl =
        match vl with
-         Ast_c.MetaExprVal a ->
-           Ast_c.MetaExprVal(Lib_parsing_c.al_inh_expr a)
+         Ast_c.MetaExprVal (a,c) ->
+           Ast_c.MetaExprVal(Lib_parsing_c.al_inh_expr a,c)
        | Ast_c.MetaExprListVal a ->
            Ast_c.MetaExprListVal(Lib_parsing_c.al_inh_arguments a)
        | Ast_c.MetaStmtVal a ->
            Ast_c.MetaStmtVal(Lib_parsing_c.al_inh_statement a)
        | Ast_c.MetaInitVal a ->
            Ast_c.MetaInitVal(Lib_parsing_c.al_inh_init a)
+       | Ast_c.MetaInitListVal a ->
+           Ast_c.MetaInitListVal(Lib_parsing_c.al_inh_inits a)
        | x -> (*don't contain binding info*) x in
       (v,vl))
     env