Fix a couple compiler warnings

Z3Prover · Jun 4, 2022 · ed7db89 · ed7db89
1 parent f652c57
commit ed7db89
Show file tree

Hide file tree

Showing 2 changed files with 86 additions and 87 deletions.
diff --git a/src/ast/ast_pp_util.h b/src/ast/ast_pp_util.h
@@ -30,15 +30,15 @@ class ast_pp_util {
     stacked_value<unsigned> m_rec_decls;
     stacked_value<unsigned> m_decls;
     stacked_value<unsigned> m_sorts;
-    
- public:        
+
+ public:
 
     decl_collector      coll;
 
-    ast_pp_util(ast_manager& m): m(m), m_env(m), coll(m), m_rec_decls(0), m_decls(0), m_sorts(0) {}
+    ast_pp_util(ast_manager& m): m(m), m_env(m), m_rec_decls(0), m_decls(0), m_sorts(0), coll(m) {}
 
     void reset() { coll.reset(); m_removed.reset(); m_sorts.clear(0u); m_decls.clear(0u); m_rec_decls.clear(0u); }
-    
+
 
     void collect(expr* e);
 
@@ -59,7 +59,7 @@ class ast_pp_util {
     std::ostream& display_expr(std::ostream& out, expr* f, bool neat = true);
 
     void push();
-    
+
     void pop(unsigned n);
 
     smt2_pp_environment& env() { return m_env; }