X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitatop.ml;h=947b43b2523b368c40332498b673eed97445301a;hb=5388b96750d501a187a961b802e4b2c533f093c3;hp=9e1698009cbbd908ed127632069645cb5734d946;hpb=f14850541c1345e7ca745de6baf89c4639f2b824;p=helm.git

diff --git a/helm/matita/matitatop.ml b/helm/matita/matitatop.ml
index 9e1698009..947b43b25 100644
--- a/helm/matita/matitatop.ml
+++ b/helm/matita/matitatop.ml
@@ -1,3 +1,4 @@
 let _ =
   let _ = Topdirs.dir_quit in
-  Toploop.loop Format.std_formatter
+  Toploop.loop Format.std_formatter;
+  assert false