# HG changeset patch
# User blanchet
# Date 1355778588 -3600
# Node ID 074e937459b6bacd7fcadc9bc107828942da15f4
# Parent  bd6582be156236c6f1bfd75d03df95171270af01
updated MaSh serialization number (to reflect new weights)

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