* implemented unless

[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 740a9c1464af06c1a335c55a03ed09c7df9555cc..f10efa7545d82ff152d40af057fd4c188533b9e6 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationUtil.ml
+++ b/helm/ocaml/cic_notation/cicNotationUtil.ml
@@ -171,6 +171,7 @@ let visit_magic k = function
   | Fold (kind, t1, names, t2) -> Fold (kind, k t1, names, k t2)
   | Default (t1, t2) -> Default (k t1, k t2)
   | If (t1, t2) -> If (k t1, k t2)
+  | Unless (t1, t2) -> Unless (k t1, k t2)
 
 let variables_of_term t =
   let rec vars = ref [] in