summaryrefslogtreecommitdiffstats
path: root/dimension/common.terminals
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@gmail.com>2011-04-25 22:28:15 -0600
committerTavian Barnes <tavianator@gmail.com>2011-04-25 22:28:15 -0600
commit3c37bf39733bb53267b046c5f0aafbffeb738990 (patch)
tree633943f2dcf26d9fec2c7f93cb8462f68982a35a /dimension/common.terminals
parent13e11b2fafe60cad7d04d80c602adc12d6080036 (diff)
downloaddimension-3c37bf39733bb53267b046c5f0aafbffeb738990.tar.xz
Implement adaptive depth control.
Diffstat (limited to 'dimension/common.terminals')
-rw-r--r--dimension/common.terminals2
1 files changed, 1 insertions, 1 deletions
diff --git a/dimension/common.terminals b/dimension/common.terminals
index f96a1f6..567267b 100644
--- a/dimension/common.terminals
+++ b/dimension/common.terminals
@@ -71,7 +71,7 @@
%token DMNSN_T_ACOS "acos"
%token DMNSN_T_ACOSH "acosh"
%token DMNSN_T_ADAPTIVE
-%token DMNSN_T_ADC_BAILOUT
+%token DMNSN_T_ADC_BAILOUT "adc_bailout"
%token DMNSN_T_AGATE
%token DMNSN_T_AGATE_TURB
%token DMNSN_T_ALL