snapshot

[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 e701c5049daaff92c9e70ae58607862a2c818b67..964c303ee91dbc27d646c191197a71b7193bfe77 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationUtil.ml
+++ b/helm/ocaml/cic_notation/cicNotationUtil.ml
@@ -309,5 +309,5 @@ let string_of_literal = function
 
 let boxify = function
   | [ a ] -> a
-  | l -> Layout (Box (H, l))
+  | l -> Layout (Box ((H, false, false), l))