X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2Fdisambiguate.ml;h=8be47f06313688268623d958ff724c68264e7ebc;hb=f9f775a550264a8dc9ce7ea9a48b79892a122c3c;hp=5b5b53f52cd8a3b73edc64f35c7cb7670645157a;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/disambiguation/disambiguate.ml b/matita/components/disambiguation/disambiguate.ml
index 5b5b53f52..8be47f063 100644
--- a/matita/components/disambiguation/disambiguate.ml
+++ b/matita/components/disambiguation/disambiguate.ml
@@ -28,9 +28,8 @@
 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