1. matitaEngine splitted into disambiguation (now in grafite_parser) and

[helm.git] / helm / ocaml / grafite / grafiteParser.mli

diff --git a/helm/ocaml/grafite/grafiteParser.mli b/helm/ocaml/grafite/grafiteParser.mli
index 256e2ef27a6cebf3a187036429eb9ab792d5ae33..7b33c6e4234809b64f4ed0a3d373b318dc4e4c65 100644 (file)
--- a/helm/ocaml/grafite/grafiteParser.mli
+++ b/helm/ocaml/grafite/grafiteParser.mli
@@ -24,7 +24,7 @@
  *)
 
 type statement =
-  (CicNotationPt.term, CicNotationPt.term, GrafiteAst.reduction,
+  (CicNotationPt.term, CicNotationPt.term, CicNotationPt.term GrafiteAst.reduction,
    CicNotationPt.obj, string)
     GrafiteAst.statement