coccinelle release 0.2.5

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

diff --git a/engine/postprocess_transinfo.ml b/engine/postprocess_transinfo.ml
index fa41cd3..73c7c0a 100644 (file)
--- a/engine/postprocess_transinfo.ml
+++ b/engine/postprocess_transinfo.ml
@@ -1,4 +1,6 @@
 (*
+ * 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.
@@ -43,7 +45,7 @@ let get_seeded seed =
   seed^(string_of_int ctr)
 
 let read_fresh_id _ =
-  try 
+  try
     let s = read_line () in
     match Parse_c.tokens_of_string s with
       [Parser_c.TIdent _; Parser_c.EOF _] -> s
@@ -55,7 +57,7 @@ let get_vars = function
     Lib_engine.Match(re) -> (Ast.get_fvs re, Ast.get_fresh re)
   | _ -> ([],[])
 
-let string2val str = Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str))
+let string2val str = Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str,[]))
 
 (* ----------------------------------------------------------------------- *)
 (* Get values for fresh variables *)
@@ -92,7 +94,7 @@ let process_tree inherited_env l =
                     | Ast.SeedId id ->
                         try
                           (match List.assoc id env with
-                            Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str)) ->
+                            Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str,_)) ->
                               str
                           | _ -> failwith "bad id value")
                         with