From 2e72565d67fee9207f4b08448a71d7b3ef815c20 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Thu, 16 Dec 2010 10:13:08 +0000 Subject: [PATCH] Dead code removed. --- matita/components/library/librarian.ml | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/matita/components/library/librarian.ml b/matita/components/library/librarian.ml index 7d159af24..791141b88 100644 --- a/matita/components/library/librarian.ml +++ b/matita/components/library/librarian.ml @@ -80,17 +80,10 @@ let find_root_for ~include_paths file = let rec find_path_for file = try HExtlib.find_in include_paths file with Failure "find_in" -> - if Filename.check_suffix file ".ma" then begin - let mma = Filename.chop_suffix file ".ma" ^ ".mma" in - HLog.warn ("We look for: " ^ mma); - let path = find_path_for mma in - Filename.chop_suffix path ".mma" ^ ".ma" - end else begin - HLog.error ("We are in: " ^ Sys.getcwd ()); - HLog.error ("Unable to find: "^file^"\nPaths explored:"); - List.iter (fun x -> HLog.error (" - "^x)) include_paths; - raise (NoRootFor file) - end + HLog.error ("We are in: " ^ Sys.getcwd ()); + HLog.error ("Unable to find: "^file^"\nPaths explored:"); + List.iter (fun x -> HLog.error (" - "^x)) include_paths; + raise (NoRootFor file) in let path = find_path_for file in let path = absolutize path in -- 2.39.2