# HG changeset patch
# User blanchet
# Date 1309175567 -7200
# Node ID 3e4889375781c3ba5319380c01e57a65c116bef3
# Parent  dda3e38cc351f23152e86c0bb34017b5cc193398
clarify warning message to avoid confusing beginners

diff -r dda3e38cc351 -r 3e4889375781 src/Provers/Arith/fast_lin_arith.ML
--- a/src/Provers/Arith/fast_lin_arith.ML	Mon Jun 27 13:52:47 2011 +0200
+++ b/src/Provers/Arith/fast_lin_arith.ML	Mon Jun 27 13:52:47 2011 +0200
@@ -633,7 +633,7 @@
           handle NoEx => NONE
       in
         case ex of
-          SOME s => (warning "Linear arithmetic failed - see trace for a counterexample."; tracing s)
+          SOME s => (warning "Linear arithmetic failed - see trace for a (potentially spurious) counterexample."; tracing s)
         | NONE => warning "Linear arithmetic failed"
       end;