diff --git a/src/proof/alethe/alethe_post_processor.cpp b/src/proof/alethe/alethe_post_processor.cpp
index 220f76b879f..6a9df4d293f 100644
--- a/src/proof/alethe/alethe_post_processor.cpp
+++ b/src/proof/alethe/alethe_post_processor.cpp
@@ -2760,11 +2760,5 @@ bool AletheProofPostprocess::process(std::shared_ptr<ProofNode> pf,
   return true;
 }
 
-}  // namespace proof
-}  // namespace cvc5::internal
-
-  return true;
-}
-
 }  // namespace proof
 }  // namespace cvc5::internal