src/HOL/Matrix/cplex/Cplex_tools.ML

--- a/src/HOL/Matrix/cplex/Cplex_tools.ML	Tue Jul 19 14:59:11 2005 +0200
+++ b/src/HOL/Matrix/cplex/Cplex_tools.ML	Tue Jul 19 16:16:53 2005 +0200
@@ -1191,7 +1191,7 @@
     case getenv "LP_SOLVER_NAME" of
 	"CPLEX" => solve_cplex prog
       | "GLPK" => solve_glpk prog
-      | _ => raise (Execute ("LP_SOLVER.NAME must be set to CPLEX or to GLPK"));
+      | _ => raise (Execute ("LP_SOLVER_NAME must be set to CPLEX or to GLPK"));
 		   
 end;