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

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

diff --git a/helm/ocaml/grafite/grafiteParser.ml b/helm/ocaml/grafite/grafiteParser.ml
index 90198052f4f8b1bd880e175cc89e0a7d8efd1a5c..3d0ea500bc9034d858a2c7f213bf63e6f92231fd 100644 (file)
--- a/helm/ocaml/grafite/grafiteParser.ml
+++ b/helm/ocaml/grafite/grafiteParser.ml
@@ -28,7 +28,7 @@ open Printf
 module Ast = CicNotationPt
 
 type statement =
-  (CicNotationPt.term, CicNotationPt.term, GrafiteAst.reduction,
+  (CicNotationPt.term, CicNotationPt.term, CicNotationPt.term GrafiteAst.reduction,
    CicNotationPt.obj, string)
     GrafiteAst.statement