Added explanatory comment and removed unnecessary constructor for Inv…

…alidAnswerLiteralRemoval
vprover · Oct 4, 2023 · 528627a · 528627a
1 parent 5e4921b
commit 528627a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Inferences/InvalidAnswerLiteralRemoval.hpp b/Inferences/InvalidAnswerLiteralRemoval.hpp
@@ -20,15 +20,17 @@
 
 namespace Inferences {
 
+/*   
+* Removes clauses containing answer literals with uncomputable symbols, 
+* as synthesized programs cannot include such symbols.
+*/
 class InvalidAnswerLiteralRemoval
 : public ImmediateSimplificationEngine
 {
 public:
   CLASS_NAME(InvalidAnswerLiteralRemoval);
   USE_ALLOCATOR(InvalidAnswerLiteralRemoval);
 
-  InvalidAnswerLiteralRemoval() {}
-
   Clause* simplify(Clause* cl) override;
 };