projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 28d95f8)
Fix option specification.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 19 Dec 2013 16:32:56 +0000 (11:32 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 22 Dec 2013 17:06:01 +0000 (12:06 -0500)
src/main/options patch | blob | history

diff --git a/src/main/options b/src/main/options
index faac6b8f1ee7f495d3a17950009e575ec9ca1218..35e3df7d293e465cc160209def0086385a470516 100644 (file)
--- a/src/main/options
+++ b/src/main/options
@@ -7,7 +7,7 @@ module DRIVER "main/options.h" Driver
 
 common-option version -V --version/ bool
  identify this CVC4 binary
-alias --license = --version
+undocumented-alias --license = --version
 
 common-option help -h --help/ bool
  full command line reference