Fixing namespace clash with MiniSat

msoos · Oct 25, 2024 · 7b2b6fa · 7b2b6fa
1 parent 2cde4da
commit 7b2b6fa
Showing 1 changed file with 2 additions and 16 deletions.
diff --git a/src/reducedb.cpp b/src/reducedb.cpp
@@ -38,6 +38,7 @@ THE SOFTWARE.
 
 using namespace CMSat;
 
+namespace CMSat {
 inline double safe_div(double a, double b) {
     if (b == 0) {
         assert(a == 0);
@@ -68,21 +69,6 @@ struct SortRedClsGlue
     }
 };
 
-struct SortRedClsSize
-{
-    explicit SortRedClsSize(ClauseAllocator& _cl_alloc) :
-        cl_alloc(_cl_alloc)
-    {}
-    ClauseAllocator& cl_alloc;
-
-    inline bool operator () (const ClOffset xOff, const ClOffset yOff) const
-    {
-        const Clause* x = cl_alloc.ptr(xOff);
-        const Clause* y = cl_alloc.ptr(yOff);
-        return x->size() < y->size();
-    }
-};
-
 struct SortRedClsAct
 {
     explicit SortRedClsAct(ClauseAllocator& _cl_alloc) :
@@ -189,7 +175,7 @@ struct SortRedClsPredForever
     }
 };
 #endif
-
+}
 
 ReduceDB::ReduceDB(Solver* _solver) :
     solver(_solver)