# HG changeset patch
# User blanchet
# Date 1332200670 -3600
# Node ID baa9dc39ee510ddf20997b6360e4bd707be23964
# Parent  73cdeed236c0c102ef67a4f6a6a4b7a782624167
tuning -- don't refer to old, internal version number (needlessly confusing now)

diff -r 73cdeed236c0 -r baa9dc39ee51 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Mar 20 00:44:30 2012 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Mar 20 00:44:30 2012 +0100
@@ -200,7 +200,7 @@
 
 (* E *)
 
-fun is_old_e_version () = (string_ord (getenv "E_VERSION", "1.2w") = LESS)
+fun is_old_e_version () = (string_ord (getenv "E_VERSION", "1.3") = LESS)
 
 val tstp_proof_delims =
   [("# SZS output start CNFRefutation.", "# SZS output end CNFRefutation"),