- lambdadelta: more service lemmas ...

[helm.git] / matita / components / binaries / matitadep / matitadep.ml

diff --git a/matita/components/binaries/matitadep/matitadep.ml b/matita/components/binaries/matitadep/matitadep.ml
index ebb87695ffe248e4fdc9cc0aefb852b9273ae368..fdf5e980fdf594ac4739b59c1d242a0b4c39188f 100644 (file)
--- a/matita/components/binaries/matitadep/matitadep.ml
+++ b/matita/components/binaries/matitadep/matitadep.ml
@@ -40,7 +40,7 @@ let check () =
    Hashtbl.iter iter graph 
 
 let rec read ich = 
-   let _ = Scanf.fscanf ich "./%s@:include \"%s@\". " init in
+   let _ = Scanf.fscanf ich "%s@:include \"%s@\". " init in
    read ich
    
 let _ =