diff options
Diffstat (limited to 'contrib/correctness/pextract.mli')
| -rw-r--r-- | contrib/correctness/pextract.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/contrib/correctness/pextract.mli b/contrib/correctness/pextract.mli index 433fc33f2..76b779213 100644 --- a/contrib/correctness/pextract.mli +++ b/contrib/correctness/pextract.mli @@ -11,8 +11,7 @@ (* $Id$ *) open Names -open Genpp -val pp_ocaml : string -> extraction_params -> unit +val pp_ocaml : string -> unit |