# HG changeset patch
# User blanchet
# Date 1359651859 -3600
# Node ID da8aeffde7a554b237597009adcd1d8cca431272
# Parent  cca90dd51e82877d355998ed82e5fe632ef0894a
compile

diff -r cca90dd51e82 -r da8aeffde7a5 src/HOL/TPTP/mash_eval.ML
--- a/src/HOL/TPTP/mash_eval.ML	Thu Jan 31 17:54:05 2013 +0100
+++ b/src/HOL/TPTP/mash_eval.ML	Thu Jan 31 18:04:19 2013 +0100
@@ -9,6 +9,7 @@
 sig
   type params = Sledgehammer_Provers.params
 
+  val MePoN : string
   val MaSh_IsarN : string
   val MaSh_ProverN : string
   val MeSh_IsarN : string