X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/f537ebc4bbd27866c9ac3e1198b6756ebab7f2ba..feec80c30d140c69f5d894bd09b6071247d0fbaa:/popl/asttopopl.ml diff --git a/popl/asttopopl.ml b/popl/asttopopl.ml index 5fbf9f8..d02ca6a 100644 --- a/popl/asttopopl.ml +++ b/popl/asttopopl.ml @@ -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,6 +24,7 @@ *) +# 0 "./asttopopl.ml" module Ast = Ast_cocci module Past = Ast_popl