From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 18 Jun 2014 19:41:02 +0000 (-0400)
Subject: Options script fix.
X-Git-Tag: cvc5-1.0.0~6758^2~5^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b2981aca1caaaa06605226296377fcd7a2d6f6d3;p=cvc5.git

Options script fix.
---

diff --git a/src/options/mkoptions b/src/options/mkoptions
index 087af0ef6..32f81455b 100755
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -2,7 +2,7 @@
 #
 # mkoptions
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
-# Copyright (c) 2011-2013  The CVC4 Project
+# Copyright (c) 2011-2014  The CVC4 Project
 #
 # The purpose of this script is to create options.{h,cpp}
 # from template files and a list of options.
@@ -1478,7 +1478,7 @@ EOF
   fi
 }
 
-total=$(($#/2+21*${#templates[@]}))
+total=$(($#/2+23*${#templates[@]}))
 count=0
 while [ $# -gt 0 ]; do
   kf="$1"; shift