freescale porting, work in progress

[helm.git] / helm / software / matita / matitaMathView.ml

diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml
index e76c659a4cb42ab194754060e36ca392fb76192e..38c46da8c74c80b17744f5c342090ca9efbf73de 100644 (file)
--- a/helm/software/matita/matitaMathView.ml
+++ b/helm/software/matita/matitaMathView.ml
@@ -1476,7 +1476,7 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
 
     method private _loadTermNCic term m s c =
       let d = 0 in
-      let m = (0,(None,c,term))::m in
+      let m = (0,([],c,term))::m in
       let status = (MatitaScript.current ())#grafite_status in
       mathView#nload_sequent status m s d;
       self#_showMath