(*
- * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
+ * Copyright 2005-2010, 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.
*
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