- lambdadelta: first commutation property on lazy equivalence for

[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 4e0651be4e19541e473b1c11db3b3bb3ac0de09a..00a2f926857cee62ee1d6062f1a0a01d7a6528bb 100644 (file)
--- a/matita/components/binaries/matitadep/matitadep.ml
+++ b/matita/components/binaries/matitadep/matitadep.ml
@@ -81,7 +81,17 @@ let leaf () =
    StringSet.iter iter fnames
 
 let rec read ich = 
-   let _ = Scanf.sscanf (input_line ich) "%s@:include \"%s@\"." init in
+   let line = input_line ich in
+   begin try Scanf.sscanf line "%s@:include \"%s@\"." init 
+   with Scanf.Scan_failure _ ->
+      begin try Scanf.sscanf line "./%s@:include \"%s@\"." init
+      with Scanf.Scan_failure _ ->   
+         begin try Scanf.sscanf line "%s@:(*%s@*)" (fun _ _ -> ())
+         with Scanf.Scan_failure _ ->
+           Printf.eprintf "unknown line: %s.\n" line
+         end
+      end  
+   end;
    read ich
    
 let _ =