X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationFwd.ml;h=4f17e80496c9a9b44831e4fec56d8754170e2309;hb=95977594b05ba0320784a445d480b3fe11ef4e55;hp=93a4c684d019de589035215efcb4506c474da3db;hpb=e20f3963028a966fc93ba0d611c4aa8341d20e2c;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationFwd.ml b/helm/ocaml/cic_notation/cicNotationFwd.ml
index 93a4c684d..4f17e8049 100644
--- 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