X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/9f8e26f459677a621822918b7539ae94214621ac..ae4735db5e7e9386036cf7b496ebdc994514dc53:/ctl/pretty_print_ctl.mli diff --git a/ctl/pretty_print_ctl.mli b/ctl/pretty_print_ctl.mli index ed74fd0..9fbafe3 100644 --- a/ctl/pretty_print_ctl.mli +++ b/ctl/pretty_print_ctl.mli @@ -1,5 +1,5 @@ (* - * 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. * @@ -21,6 +21,6 @@ -val pp_ctl: +val pp_ctl: ('pred -> unit) * ('mvar -> unit) -> bool (* inline_let_def *) -> ('pred, 'mvar, 'info) Ast_ctl.generic_ctl -> unit