From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 21 Dec 2005 10:18:09 +0000 (+0000)
Subject: fixed cicbrowser.opt argv.(0)
X-Git-Tag: make_still_working~7980
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=64e9baf5488aa0ad2e2d356ef6eb72b8ecb9fca0;p=helm.git

fixed cicbrowser.opt argv.(0)
---

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