diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:41:03 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:41:03 +0000 |
commit | c00efa92e9d61d808a8346e1d8bb3523e24d8ee2 (patch) | |
tree | 85ecfd0e8770ef539f36ec04afd34a583e75cf38 /src/proof/options | |
parent | c09fae89b38b525c6e2ab1691be4363d0cb1157b (diff) |
minor interface improvements, compliance fixes
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/proof/options')
-rw-r--r-- | src/proof/options | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/proof/options b/src/proof/options index f00c8fc75..af4ffeb93 100644 --- a/src/proof/options +++ b/src/proof/options @@ -5,7 +5,4 @@ module PROOF "proof/options.h" Proof -option proof produce-proofs --proof bool - turn on proof generation - endmodule |