diff -r bd6582be1562 -r 074e937459b6 src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Dec 17 22:06:28 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Dec 17 22:09:48 2012 +0100
@@ -296,7 +296,7 @@
 
 local
 
-val version = "*** MaSh version 20121212a ***"
+val version = "*** MaSh version 20121217a ***"
 
 exception Too_New of unit