# HG changeset patch
# User boehmes
# Date 1269247150 -3600
# Node ID 6b4e3b2d33b02d75c814d878b75835d53c7b2b86
# Parent  76c7374a0fa62bfa7fee6ec74cf8cfaab5164f3c
removed e-mail address from error message

diff -r 76c7374a0fa6 -r 6b4e3b2d33b0 src/Provers/Arith/fast_lin_arith.ML
--- a/src/Provers/Arith/fast_lin_arith.ML	Mon Mar 22 09:32:28 2010 +0100
+++ b/src/Provers/Arith/fast_lin_arith.ML	Mon Mar 22 09:39:10 2010 +0100
@@ -541,7 +541,7 @@
                  (if count <> warning_count_max then []
                   else ["\n(Reached maximal message count -- disabling future warnings)"])));
                 warning "Linear arithmetic should have refuted the assumptions.\n\
-                  \Please inform Tobias Nipkow (nipkow@in.tum.de).")
+                  \Please inform Tobias Nipkow.")
           end;
     in fls end
     handle FalseE thm => trace_thm ctxt "False reached early:" thm