snapshot (minor changes)

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

diff --git a/helm/ocaml/cic_notation/cicNotationUtil.mli b/helm/ocaml/cic_notation/cicNotationUtil.mli
index 760d95ae923410a1bb70302e49cadccfbb866ea6..f35fbb3d3f09692f2acd150c29d42beccf4049eb 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationUtil.mli
+++ b/helm/ocaml/cic_notation/cicNotationUtil.mli
@@ -46,3 +46,5 @@ val ncombine: 'a list list -> 'a list list
 
 val string_of_literal: CicNotationPt.literal -> string
 
+val boxify: CicNotationPt.term list -> CicNotationPt.term
+