1 files changed, 3 insertions, 2 deletions
diff --git a/test/unit/proof/lrat_proof_black.h b/test/unit/proof/lrat_proof_black.h
index 398c551fe..b4b41922f 100644
--- a/test/unit/proof/lrat_proof_black.h
+++ b/test/unit/proof/lrat_proof_black.h
@@ -22,10 +22,11 @@
 #include "prop/sat_solver_types.h"
 #include "utils.h"
 
+using namespace CVC4;
 using namespace CVC4::proof::lrat;
 using namespace CVC4::prop;
 
-class LfscProofBlack : public CxxTest::TestSuite
+class LratProofBlack : public CxxTest::TestSuite
 {
  public:
   void setUp() override {}
@@ -34,7 +35,7 @@ class LfscProofBlack : public CxxTest::TestSuite
   void testOutputAsLfsc();
 };
 
-void LfscProofBlack::testOutputAsLfsc()
+void LratProofBlack::testOutputAsLfsc()
 {
   std::vector<std::unique_ptr<LratInstruction>> instructions;