From 4899481ed7179d9c1c8e43b7b366b012d9b86218 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Fri, 19 Nov 2010 14:00:11 -0500 Subject: Parse max_intersections. --- dimension/grammar.rules | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'dimension/grammar.rules') diff --git a/dimension/grammar.rules b/dimension/grammar.rules index 0963a1e..6c936aa 100644 --- a/dimension/grammar.rules +++ b/dimension/grammar.rules @@ -61,8 +61,15 @@ GLOBAL_SETTINGS_ITEM: "assumed_gamma" FLOAT { $$ = dmnsn_new_astnode1(DMNSN_AST_ASSUMED_GAMMA, @$, $2); } | "max_trace_level" INT { - $$ = dmnsn_new_astnode1(DMNSN_AST_MAX_TRACE_LEVEL, - @$, $2); + $$ = dmnsn_new_astnode1(DMNSN_AST_MAX_TRACE_LEVEL, @$, + $2); + } + | "max_intersections" INT { + dmnsn_diagnostic(@1, + "WARNING: max_intersections is" + " unnecessary for Dimension"); + $$ = dmnsn_new_astnode1(DMNSN_AST_MAX_INTERSECTIONS, @$, + $2); } ; -- cgit v1.2.3