diff options
| author | Tavian Barnes <tavianator@gmail.com> | 2010-11-19 14:00:11 -0500 |
|---|---|---|
| committer | Tavian Barnes <tavianator@gmail.com> | 2010-11-19 14:07:42 -0500 |
| commit | 4899481ed7179d9c1c8e43b7b366b012d9b86218 (patch) | |
| tree | 0301b4cdb86da07fa46b376e855a483c196c0302 /dimension/common.terminals | |
| parent | e220611617c71d9bbb142fb88a85d7c4c41b6b07 (diff) | |
| download | dimension-4899481ed7179d9c1c8e43b7b366b012d9b86218.tar.xz | |
Parse max_intersections.
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 e2df8d1..080278c 100644 --- a/dimension/common.terminals +++ b/dimension/common.terminals @@ -274,7 +274,7 @@ %token DMNSN_T_MAX "max" %token DMNSN_T_MAX_EXTENT %token DMNSN_T_MAX_GRADIENT -%token DMNSN_T_MAX_INTERSECTIONS +%token DMNSN_T_MAX_INTERSECTIONS "max_intersections" %token DMNSN_T_MAX_ITERATION %token DMNSN_T_MAX_SAMPLE %token DMNSN_T_MAX_TRACE |