X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationUtil.ml;h=e09ac345b779fc2c9daf39376667a12e4b8fc19a;hb=c720c4687a4290cfb85f6c4d2a9f238450ef0d5a;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..e09ac345b 100644 --- a/helm/ocaml/cic_notation/cicNotationUtil.ml +++ b/helm/ocaml/cic_notation/cicNotationUtil.ml @@ -307,3 +307,7 @@ let string_of_literal = function | `Keyword s | `Number s -> s +let boxify = function + | [ a ] -> a + | l -> Layout (Box (H, l)) +