implemented transformations on top of notation code

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

diff --git a/helm/ocaml/cic_notation/cicNotationFwd.ml b/helm/ocaml/cic_notation/cicNotationFwd.ml
index 93a4c684d019de589035215efcb4506c474da3db..4f17e80496c9a9b44831e4fec56d8754170e2309 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationFwd.ml
+++ b/helm/ocaml/cic_notation/cicNotationFwd.ml
@@ -242,7 +242,8 @@ let instantiate_level2 env term =
               | _ -> assert false
             in
             instantiate_fold_right env)
-    | If (_, p_true, p_false) as t -> aux env (CicNotationUtil.find_branch (Magic t))
+    | If (_, p_true, p_false) as t ->
+        aux env (CicNotationUtil.find_branch (Magic t))
     | Fail -> assert false
     | _ -> assert false
   in