From 74f4b0b09b673f3080fadfe2d1a217d9007915df Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 4 Nov 2005 16:58:10 +0000 Subject: [PATCH] matita*.opt are now considered as if they were matita* --- helm/matita/matitac.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/matita/matitac.ml b/helm/matita/matitac.ml index 7250492f8..49032a857 100644 --- a/helm/matita/matitac.ml +++ b/helm/matita/matitac.ml @@ -25,9 +25,9 @@ let main () = match Filename.basename Sys.argv.(0) with - | "matitadep" -> Matitadep.main () - | "matitaclean" -> Matitaclean.main () - | "matitamake" -> Matitamake.main () + | "matitadep" | "matitadep.opt" -> Matitadep.main () + | "matitaclean" | "matitaclean.opt" -> Matitaclean.main () + | "matitamake" | "matitamake.opt" -> Matitamake.main () | _ -> let _ = Paramodulation.Saturation.init () in (* ALB to link paramodulation *) let _ = MatitacLib.main `COMPILER in -- 2.39.2