fixing clang compilation problems

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

src/muz_qe/qe_sat_tactic.cpp

@@ -629,7 +629,7 @@ namespace qe {
             expr_ref fml(_fml, m);
             if (m_strong_context_simplify_param && m_ctx_simplify_local_param) {
                 m_ctx_rewriter.push();
-                m_ctx_rewriter.assert(M(idx));
+                m_ctx_rewriter.assert_expr(M(idx));
                 m_ctx_rewriter(fml);
                 m_ctx_rewriter.pop();
                 TRACE("qe", tout << mk_pp(_fml, m) << "\n-- context simplify -->\n" << mk_pp(fml, m) << "\n";);
@@ -650,7 +650,7 @@ namespace qe {
             m_rewriter(not_fml);
             if (m_strong_context_simplify_param && !m_ctx_simplify_local_param) {
                 m_ctx_rewriter.push();
-                m_ctx_rewriter.assert(M(idx));
+                m_ctx_rewriter.assert_expr(M(idx));
                 m_ctx_rewriter(not_fml);
                 m_ctx_rewriter.pop();
             }

src/smt/expr_context_simplifier.h

@@ -75,7 +75,7 @@ public:
     void operator()(expr_ref& result) { simplify(result.get(), result); }
     void push() { m_solver.push(); }
     void pop() { m_solver.pop(1); }
-    void assert(expr* e) { m_solver.assert_expr(e); }
+    void assert_expr(expr* e) { m_solver.assert_expr(e); }
     
     void collect_statistics(statistics & st) const { m_solver.collect_statistics(st); }
     void reset_statistics() { m_solver.reset_statistics(); }

src/util/cooperate.cpp

@@ -16,10 +16,10 @@ Author:
 Notes:
 
 --*/
-#include"z3_omp.h"
 #include"cooperate.h"
 #include"trace.h"
 #include"debug.h"
+#include"z3_omp.h"
 
 struct cooperation_lock {
     omp_nest_lock_t  m_lock;

src/util/memory_manager.cpp

@@ -4,6 +4,7 @@
 #include"trace.h"
 #include"memory_manager.h"
 #include"error_codes.h"
+#include"z3_omp.h"
 // The following two function are automatically generated by the mk_make.py script.
 // The script collects ADD_INITIALIZER and ADD_FINALIZER commands in the .h files.
 // For example, rational.h contains

src/util/scoped_timer.cpp

@@ -58,6 +58,7 @@ Revision History:
 #endif
 #include"util.h"
 #include<limits.h>
+#include"z3_omp.h"
 
 struct scoped_timer::imp {
     event_handler *  m_eh;

src/util/timeout.cpp

@@ -19,6 +19,7 @@ Revision History:
 
 --*/
 #include<iostream>
+#include"z3_omp.h"
 #include"util.h"
 #include"timeout.h"
 #include"error_codes.h"