X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationUtil.ml;h=e09ac345b779fc2c9daf39376667a12e4b8fc19a;hb=ec54d490477ece51c19d79750dda9805ffda663c;hp=52ac0ab67ef836d51c95a3dc1eb811b1f22ff89e;hpb=345d5606c989f46d9de3d3b4c6c53902fabac5bd;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))
+