meta_closed added

[helm.git] / helm / ocaml / cic / cicUtil.mli

diff --git a/helm/ocaml/cic/cicUtil.mli b/helm/ocaml/cic/cicUtil.mli
index c03783b86419eeed18ff52f6a2333641df4ff874..24383061caa120b0b01ffa146497b8aa858afde8 100644 (file)
--- a/helm/ocaml/cic/cicUtil.mli
+++ b/helm/ocaml/cic/cicUtil.mli
@@ -35,3 +35,4 @@ val clean_up_local_context :
 
 val is_closed : Cic.term -> bool
 
+val meta_closed : Cic.term -> bool