X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2Facic2Procedural.ml;fp=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2Facic2Procedural.ml;h=9b8dbf06383143c7759c9b7f06bb1c95df6ec83a;hb=013e0ab5c86d7c4c7560f06ffe0ae3b424737db2;hp=18ded2e7969579acd0fb94707f00a6ce1afc8278;hpb=3ce05ecd50428a27ce17adb070620aeeaf2aed65;p=helm.git

diff --git a/helm/software/components/content_pres/acic2Procedural.ml b/helm/software/components/content_pres/acic2Procedural.ml
index 18ded2e79..9b8dbf063 100644
--- a/helm/software/components/content_pres/acic2Procedural.ml
+++ b/helm/software/components/content_pres/acic2Procedural.ml
@@ -236,7 +236,7 @@ let mk_obj st = function
       let text = Printf.sprintf "tactics: %u" count in
       P.Theorem (s, t, text) :: ast @ [P.Qed ""]
    | _                                                               ->
-      [P.Note "not a theorem"]
+      failwith "not a theorem"
 
 (* interface functions ******************************************************)