X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaEngine.ml;h=2963e71c45e2cf5c8f4312b9a7c58d48f9ada72e;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=c1c1cd9078a52cd86c98ea96e4a01ebaa756224b;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/matita/matitaEngine.ml b/matita/matita/matitaEngine.ml
index c1c1cd907..2963e71c4 100644
--- a/matita/matita/matitaEngine.ml
+++ b/matita/matita/matitaEngine.ml
@@ -25,8 +25,6 @@
 
 (* $Id$ *)
 
-module G = GrafiteAst
-open GrafiteTypes
 open Printf
 
 class status baseuri =
@@ -163,7 +161,7 @@ let baseuri_of_script ~include_paths fname =
 
 (* given a path to a ma file inside the include_paths, returns the
    new include_paths associated to that file *)
-let read_include_paths ~include_paths file =
+let read_include_paths ~include_paths:_ file =
  try 
    let root, _buri, _fname, _tgt = 
      Librarian.baseuri_of_script ~include_paths:[] file in