# HG changeset patch
# User huffman
# Date 1258698516 28800
# Node ID 38375b16ffd9f9344a9fbbe2850d1997815b88e5
# Parent  033831fd9ef3318504e3f3313f22efbacc518fe4
nicer warning message for indirect-recursive domain definitions

diff -r 033831fd9ef3 -r 38375b16ffd9 src/HOLCF/Tools/Domain/domain_theorems.ML
--- a/src/HOLCF/Tools/Domain/domain_theorems.ML	Thu Nov 19 22:25:11 2009 -0800
+++ b/src/HOLCF/Tools/Domain/domain_theorems.ML	Thu Nov 19 22:28:36 2009 -0800
@@ -998,7 +998,7 @@
       handle THM _ =>
              (warning "Induction proofs failed (THM raised)."; ([], TrueI))
            | ERROR _ =>
-             (warning "Induction proofs failed (ERROR raised)."; ([], TrueI));
+             (warning "Cannot prove induction rule"; ([], TrueI));
 
 
 end; (* local *)