X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_notation%2FcicNotationUtil.ml;h=e701c5049daaff92c9e70ae58607862a2c818b67;hb=cb408b9ea336cd8efb990f7a1c88b566ccf0bd2e;hp=52ac0ab67ef836d51c95a3dc1eb811b1f22ff89e;hpb=f7759f86b755f4f7dc2b23edd52ed4d2e5c028fe;p=helm.git diff --git a/helm/ocaml/cic_notation/cicNotationUtil.ml b/helm/ocaml/cic_notation/cicNotationUtil.ml index 52ac0ab67..e701c5049 100644 --- a/helm/ocaml/cic_notation/cicNotationUtil.ml +++ b/helm/ocaml/cic_notation/cicNotationUtil.ml @@ -161,7 +161,7 @@ let visit_layout k = function | Frac (t1, t2) -> Frac (k t1, k t2) | Sqrt t -> Sqrt (k t) | Root (arg, index) -> Root (k arg, k index) - | Break -> Break +(* | Break -> Break *) | Box (kind, terms) -> Box (kind, List.map k terms) let visit_magic k = function @@ -307,3 +307,7 @@ let string_of_literal = function | `Keyword s | `Number s -> s +let boxify = function + | [ a ] -> a + | l -> Layout (Box (H, l)) +