snapshot (minor changes)

[helm.git] / helm / ocaml / cic_notation / cicNotationUtil.ml

diff --git a/helm/ocaml/cic_notation/cicNotationUtil.ml b/helm/ocaml/cic_notation/cicNotationUtil.ml
index 52ac0ab67ef836d51c95a3dc1eb811b1f22ff89e..e09ac345b779fc2c9daf39376667a12e4b8fc19a 100644 (file)
--- 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))
+