--- ./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 {