--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Wed Aug 19 19:54:02 2015 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Wed Aug 19 20:41:23 2015 +0200
@@ -167,7 +167,11 @@
SOME var =>
let
val pref = getenv var ^ "/"
- val paths = map (Path.explode o prefix pref) (snd exec)
+ val paths =
+ map (Path.explode o prefix pref)
+ (if ML_System.platform_is_windows then
+ map (suffix ".exe") (snd exec) @ snd exec
+ else snd exec);
in
(case find_first File.exists paths of
SOME path => path