changeset 59018 | ec8ea2465d2a |
parent 58369 | 149fb885dcd8 |
child 59552 | ae50c9b82444 |
--- a/src/HOL/Tools/SMT/cvc4_interface.ML Thu Nov 20 17:29:18 2014 +0100 +++ b/src/HOL/Tools/SMT/cvc4_interface.ML Thu Nov 20 17:29:18 2014 +0100 @@ -19,7 +19,7 @@ local fun translate_config ctxt = - {logic = K "", fp_kinds = [BNF_Util.Least_FP, BNF_Util.Greatest_FP], + {logic = K "(set-logic AUFDTLIA)\n", fp_kinds = [BNF_Util.Least_FP, BNF_Util.Greatest_FP], serialize = #serialize (SMTLIB_Interface.translate_config ctxt)} in