X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2Fdisambiguate.ml;h=8be47f06313688268623d958ff724c68264e7ebc;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=0e4636d572b15d6c1e31939068887f5947b2078c;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/components/disambiguation/disambiguate.ml b/matita/components/disambiguation/disambiguate.ml
index 0e4636d57..8be47f063 100644
--- a/matita/components/disambiguation/disambiguate.ml
+++ b/matita/components/disambiguation/disambiguate.ml
@@ -28,7 +28,6 @@
 open Printf
 
 open DisambiguateTypes
-open UriManager
 
 module Ast = NotationPt