Compilation fix

[helm.git] / matitaB / components / content_pres / cicNotationPres.ml

diff --git a/matitaB/components/content_pres/cicNotationPres.ml b/matitaB/components/content_pres/cicNotationPres.ml
index 563af0b065454388fc7b88421c16f966ed148e22..30847816982ceb501d202ffb5152b846b7cb5a6e 100644 (file)
--- a/matitaB/components/content_pres/cicNotationPres.ml
+++ b/matitaB/components/content_pres/cicNotationPres.ml
@@ -161,8 +161,8 @@ let render status ?(prec=(-1)) =
     | A.Sup (A.Layout (A.Sub (t1,t2)), t3)
     | A.Sup (A.AttributedTerm (_,A.Layout (A.Sub (t1,t2))), t3)
       -> assert false
-    | A.Sub (t1, t2) -> assert false
-    | A.Sup (t1, t2) -> assert false
+    | A.Sub (t1, t2) -> Box.H ([],[aux prec t1;Box.Text ([],"_");aux prec t2])
+    | A.Sup (t1, t2) -> Box.H ([],[aux prec t1;Box.Text ([],"^");aux prec t2])
     | A.Below (t1, t2) -> assert false 
     | A.Above (t1, t2) -> assert false
     | A.Frac (t1, t2)
@@ -179,7 +179,7 @@ let render status ?(prec=(-1)) =
     | A.Maction alternatives -> 
          toggle_action (List.map invoke_reinit alternatives)
     | A.Group terms -> assert false 
-    | A.Break -> assert false 
+    | A.Break -> Box.Space [] 
   in
   aux prec