# HG changeset patch
# User wenzelm
# Date 931636285 -7200
# Node ID ac37a8fcaad101546f409929a5a462d3bcf2db25
# Parent  441393b452c76ba70061e64320adad2a4329fbe2
pass exn;

diff -r 441393b452c7 -r ac37a8fcaad1 src/ZF/Tools/induct_tacs.ML
--- a/src/ZF/Tools/induct_tacs.ML	Sat Jul 10 21:50:49 1999 +0200
+++ b/src/ZF/Tools/induct_tacs.ML	Sat Jul 10 21:51:25 1999 +0200
@@ -183,7 +183,7 @@
 	       (foldr Symtab.update (con_pairs, ConstructorsData.get thy))
 	  |> Theory.parent_path
   end
-  handle _ => error "Failure in rep_datatype";
+  handle exn => (writeln "Failure in rep_datatype"; raise exn);
 
 end;