From 64e9baf5488aa0ad2e2d356ef6eb72b8ecb9fca0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 Dec 2005 10:18:09 +0000 Subject: [PATCH] fixed cicbrowser.opt argv.(0) --- helm/matita/matita.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml index 0086f6aea..0b457dd0c 100644 --- a/helm/matita/matita.ml +++ b/helm/matita/matita.ml @@ -180,7 +180,8 @@ let _ = let set_matita_mode () = let matita_mode = - if Filename.basename Sys.argv.(0) = "cicbrowser" + if Filename.basename Sys.argv.(0) = "cicbrowser" || + Filename.basename Sys.argv.(0) = "cicbrowser.opt" then "cicbrowser" else "matita" in -- 2.39.2