From b5178b5e0e520c388d45918fed8cf874d1b61280 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 28 Sep 2012 19:20:02 +0000 Subject: some fixes to build system (this commit was certified error- and warning-free by the test-and-commit script.) --- src/smt/options | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/smt/options') 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 -- cgit v1.2.3