X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2Fdeannotate.mli;h=89b18d2d6faca057879068950560fed48f5df0a8;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d1bd72c07f32928d9f5dc1e9e909bc077e96dc2a;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;p=helm.git

diff --git a/helm/ocaml/cic/deannotate.mli b/helm/ocaml/cic/deannotate.mli
index d1bd72c07..89b18d2d6 100644
--- 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