ocaml 3.09 transition

[helm.git] / helm / ocaml / cic / deannotate.mli

diff --git a/helm/ocaml/cic/deannotate.mli b/helm/ocaml/cic/deannotate.mli
index d1bd72c07f32928d9f5dc1e9e909bc077e96dc2a..89b18d2d6faca057879068950560fed48f5df0a8 100644 (file)
--- a/helm/ocaml/cic/deannotate.mli
+++ b/helm/ocaml/cic/deannotate.mli
@@ -32,8 +32,5 @@
 (*                                                                            *)
 (******************************************************************************)
 
-(* Useful only for fix_params *)
-val expect_possible_parameters : bool ref
-
 val deannotate_term : Cic.annterm -> Cic.term
 val deannotate_obj : Cic.annobj -> Cic.obj