Duplicating Glucose package.

5415fe52 · Alan Mishchenko · fd41920a · 5415fe52
Commit 5415fe52 authored Nov 13, 2020 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/sat/glucose2/AbcGlucose2.cpp
+2 -2

No files found.
--- a/src/sat/glucose2/AbcGlucose2.cpp
+++ b/src/sat/glucose2/AbcGlucose2.cpp
@@ -58,7 +58,7 @@ using namespace Gluco2;
  SeeAlso     []

 ***********************************************************************/
-Gluco2::SimpSolver * glucose_solver_start()
+SimpSolver * glucose_solver_start()
 {
    SimpSolver * S = new SimpSolver;
    S->setIncrementalMode();
@@ -339,7 +339,7 @@ int bmcg2_sat_solver_add_and( bmcg2_sat_solver * s, int iVar, int iVar0, int iVa
  SeeAlso     []

 ***********************************************************************/
-Gluco2::Solver * glucose_solver_start()
+Solver * glucose_solver_start()
 {
    Solver * S = new Solver;
    S->setIncrementalMode();