diff options
author | Tavian Barnes <tavianator@gmail.com> | 2011-04-25 22:28:15 -0600 |
---|---|---|
committer | Tavian Barnes <tavianator@gmail.com> | 2011-04-25 22:28:15 -0600 |
commit | 3c37bf39733bb53267b046c5f0aafbffeb738990 (patch) | |
tree | 633943f2dcf26d9fec2c7f93cb8462f68982a35a /dimension/common.terminals | |
parent | 13e11b2fafe60cad7d04d80c602adc12d6080036 (diff) | |
download | dimension-3c37bf39733bb53267b046c5f0aafbffeb738990.tar.xz |
Implement adaptive depth control.
Diffstat (limited to 'dimension/common.terminals')
-rw-r--r-- | dimension/common.terminals | 2 |
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 |