diff options
Diffstat (limited to 'src/smt/options')
| -rw-r--r-- | src/smt/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/options b/src/smt/options index 24c8b5e43..f82867b68 100644 --- a/src/smt/options +++ b/src/smt/options @@ -81,4 +81,7 @@ 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 |