fixed cicbrowser.opt argv.(0)

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 0086f6aeac3f5a48860d13f358837191ee4912d9..0b457dd0ce1bd1cb6f2c872c14ae3d832e9be0b6 100644 (file)
--- 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