From 4853a8137879ae61578fbc9eec8494b6df9a7abd Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 19 Dec 2013 11:32:56 -0500
Subject: [PATCH] Fix option specification.

---
 src/main/options | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2