diff options
Diffstat (limited to 'src/smt/options')
| -rw-r--r-- | src/smt/options | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/smt/options b/src/smt/options index f82867b68..24c8b5e43 100644 --- a/src/smt/options +++ b/src/smt/options @@ -81,7 +81,4 @@ option lemmaInputChannel LemmaInputChannel* :default NULL :include "util/lemma_i option lemmaOutputChannel LemmaOutputChannel* :default NULL :include "util/lemma_output_channel.h" The output channel to receive notfication events for new lemmas -option optionWithOnlyAlternate /--optionWithOnlyAlternate bool - option with only an alternate - endmodule |