X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_disambiguation%2Fparser.mli;h=661d0c36b23605eaec66a59cc87ece4d8889e278;hb=e9e00ee3e8d57c51e52fcfca9c642b8f366b8d0d;hp=2a70d50919f61dda6765c414202f6592860cafb1;hpb=aba014724c9ad08f80944ec3021c9fa3826dca4a;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/parser.mli b/helm/ocaml/cic_disambiguation/parser.mli
index 2a70d5091..661d0c36b 100644
--- a/helm/ocaml/cic_disambiguation/parser.mli
+++ b/helm/ocaml/cic_disambiguation/parser.mli
@@ -36,11 +36,3 @@ val return_term: Ast.location -> Ast.term -> Ast.term
   (** raise a parse error *)
 val fail: Ast.location -> string -> 'a
 
-(*
-open Disambiguate_types
-
-val main:
-  context:Cic.name option list -> char Stream.t ->
-    Domain.t * (interpretation -> Cic.term)
-*)
-