1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Jul 23 15:32:30 2012 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Jul 23 15:32:30 2012 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  open Sledgehammer_MaSh
     1.5  open Sledgehammer_Run
     1.6  
     1.7 -val cvc3N = "cvc3"
     1.8 +(* val cvc3N = "cvc3" *)
     1.9  val yicesN = "yices"
    1.10  val z3N = "z3"
    1.11