12 lines
318 B
Diff
12 lines
318 B
Diff
|
--- ./src/sat/smt/user_solver.h 2021-07-26 09:41:09.413341606 +0530
|
||
|
|
+++ ./src/sat/smt/user_solver.h.mod 2021-07-26 09:41:19.996675994 +0530
|
||
|
|
@@ -23,7 +23,7 @@
|
||
|
|
#include "solver/solver.h"
|
||
|
|
|
||
|
|
|
||
|
|
-namespace user {
|
||
|
|
+namespace z3_user {
|
||
|
|
|
||
|
|
class solver : public euf::th_euf_solver, public ::solver::propagate_callback {
|
||
|
|
|