src/HOL/Tools/SMT/smtlib_interface.ML
changeset 67405 e9ab4ad7bd15
parent 67399 eab6ce8368fa
child 69593 3dda49e08b9d
     1.1 --- a/src/HOL/Tools/SMT/smtlib_interface.ML	Thu Jan 11 12:32:07 2018 +0100
     1.2 +++ b/src/HOL/Tools/SMT/smtlib_interface.ML	Thu Jan 11 13:48:17 2018 +0100
     1.3 @@ -146,7 +146,7 @@
     1.4  
     1.5  fun serialize smt_options comments {logic, sorts, dtyps, funcs} ts =
     1.6    let
     1.7 -    val unsat_core = member (=) smt_options (":produce-unsat-cores", "true")
     1.8 +    val unsat_core = member (op =) smt_options (":produce-unsat-cores", "true")
     1.9    in
    1.10      Buffer.empty
    1.11      |> fold (Buffer.add o enclose "; " "\n") comments