bce description

ModelWriter · Nov 3, 2017 · 369489b · 369489b
1 parent 47e86a8
commit 369489b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Shell/Options.cpp b/Shell/Options.cpp
@@ -448,6 +448,7 @@ void Options::Options::init()
     _unusedPredicateDefinitionRemoval.setRandomChoices({"on","off"});
 
     _blockedClauseElimination = BoolOptionValue("blocked_clause_elimination","bce",false);
+    _blockedClauseElimination.description="Eliminate blocked clauses after clausification.";
     _lookup.insert(&_blockedClauseElimination);
     _blockedClauseElimination.tag(OptionTag::PREPROCESSING);
     _blockedClauseElimination.addProblemConstraint(notWithCat(Property::UEQ));