test: fix mock

TendTo · Mar 13, 2024 · d474185 · d474185
1 parent 0bb555c
commit d474185
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/solver/TestSoplexTheorySolver.cpp b/test/solver/TestSoplexTheorySolver.cpp
@@ -34,7 +34,7 @@ class MockSoplexTheorySolver : public SoplexTheorySolver {
   MOCK_METHOD(std::vector<LiteralSet>, EnableLiteral, (const dlinear::Literal &lit), (override));
   MOCK_METHOD(SatResult, CheckSat,
               (const dlinear::Box &box, mpq_class *actual_precision, dlinear::LiteralSet &explanation), (override));
-  MOCK_METHOD(void, EnableSpxRow, (int, bool, const dlinear::Variables &), (override)) intboolconst Variables &;
+  MOCK_METHOD(void, EnableSpxRow, (int, bool, const dlinear::Variables &), (override));
   const std::vector<Variable> &theory_col_to_var() const { return theory_col_to_var_; }
   const std::vector<Literal> &theory_row_to_lit() const { return theory_row_to_lit_; }
   const std::map<Variable::Id, int> &var_to_theory_col() const { return var_to_theory_col_; }