From: Claudio Sacerdoti Coen Date: Tue, 22 Mar 2011 21:58:08 +0000 (+0000) Subject: Reindentation. X-Git-Tag: make_still_working~2550 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b32e6b2f0da453e39ef849444c6f0c91e659eea4;p=helm.git Reindentation. --- diff --git a/matita/components/grafite_engine/grafiteEngine.ml b/matita/components/grafite_engine/grafiteEngine.ml index 7febf874e..2f37a4e92 100644 --- a/matita/components/grafite_engine/grafiteEngine.ml +++ b/matita/components/grafite_engine/grafiteEngine.ml @@ -477,7 +477,7 @@ let compute_relevance status uri = let rec eval_ncommand ~include_paths opts status (text,prefix_len,cmd) = match cmd with | GrafiteAst.Include (loc, mode, fname) -> - let _root, baseuri, fullpath, _rrelpath = + let _root, baseuri, fullpath, _rrelpath = Librarian.baseuri_of_script ~include_paths fname in let baseuri = NUri.uri_of_string baseuri in (* MATITA 1.0: keep WithoutPreferences? *)