fix from merge

HanielB · Mar 2, 2024 · cc68ef9 · cc68ef9
1 parent c1d6eca
commit cc68ef9
Showing 1 changed file with 0 additions and 6 deletions.
diff --git 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