X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fdisambiguation%2Fdisambiguate.ml;h=0e4636d572b15d6c1e31939068887f5947b2078c;hb=99a43adccee356e3d6057f67114c5cf08518b3f3;hp=5b5b53f52cd8a3b73edc64f35c7cb7670645157a;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/disambiguation/disambiguate.ml b/matita/components/disambiguation/disambiguate.ml
index 5b5b53f52..0e4636d57 100644
--- a/matita/components/disambiguation/disambiguate.ml
+++ b/matita/components/disambiguation/disambiguate.ml
@@ -30,7 +30,7 @@ open Printf
 open DisambiguateTypes
 open UriManager
 
-module Ast = CicNotationPt
+module Ast = NotationPt
 
 (* the integer is an offset to be added to each location *)
 exception Ambiguous_input