| changeset 69205 | 8050734eee3e |
| parent 66551 | 4df6b0ae900d |
| child 69593 | 3dda49e08b9d |
--- a/src/HOL/Tools/SMT/smt_real.ML Tue Oct 30 16:24:01 2018 +0100 +++ b/src/HOL/Tools/SMT/smt_real.ML Tue Oct 30 16:24:04 2018 +0100 @@ -110,6 +110,6 @@ SMTLIB_Interface.add_logic (10, smtlib_logic) #> setup_builtins #> Z3_Interface.add_mk_builtins z3_mk_builtins #> - Z3_Replay_Util.add_simproc real_linarith_proc)) + SMT_Replay.add_simproc real_linarith_proc)) end;