From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 19 Dec 2013 16:32:56 +0000 (-0500)
Subject: Fix option specification.
X-Git-Tag: cvc5-1.0.0~6987^2~24
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4853a8137879ae61578fbc9eec8494b6df9a7abd;p=cvc5.git

Fix option specification.
---

diff --git a/src/main/options b/src/main/options
index faac6b8f1..35e3df7d2 100644
--- 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