X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/690d68d19cb322bc18140b6406e298038dcf47f2..feec80c30d140c69f5d894bd09b6071247d0fbaa:/parsing_cocci/id_utils.mli diff --git a/parsing_cocci/id_utils.mli b/parsing_cocci/id_utils.mli index de51c1f..f1387e1 100644 --- a/parsing_cocci/id_utils.mli +++ b/parsing_cocci/id_utils.mli @@ -1,5 +1,7 @@ (* - * Copyright 2010, INRIA, University of Copenhagen + * 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 @@ -22,4 +24,5 @@ *) +# 0 "./id_utils.mli" val interpret : string -> Get_constants2.combine -> string list