src/HOL/Library/Sum_Of_Squares/sos_wrapper.ML

--- a/src/HOL/Library/Sum_Of_Squares/sos_wrapper.ML	Sat Aug 08 11:40:22 2009 +0200
+++ b/src/HOL/Library/Sum_Of_Squares/sos_wrapper.ML	Mon Aug 10 13:02:05 2009 +0200
@@ -104,7 +104,7 @@
 fun find_neos_failure rv =
   case rv of
     20 => (Error, "error submitting job")
-  | 21 => (Error, "no solution")
+  | 21 => (Error, "interrupt")
   |  _ => find_csdp_failure rv
 
 val neos_csdp = ("$ISABELLE_SUM_OF_SQUARES/neos_csdp_client", find_neos_failure)