snapshot, almost working

[helm.git] / helm / ocaml / cic_disambiguation / parser.mli

diff --git a/helm/ocaml/cic_disambiguation/parser.mli b/helm/ocaml/cic_disambiguation/parser.mli
index 2a70d50919f61dda6765c414202f6592860cafb1..661d0c36b23605eaec66a59cc87ece4d8889e278 100644 (file)
--- 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)
-*)
-