summaryrefslogtreecommitdiffstats
path: root/dimension/grammar.rules
diff options
context:
space:
mode:
Diffstat (limited to 'dimension/grammar.rules')
-rw-r--r--dimension/grammar.rules4
1 files changed, 3 insertions, 1 deletions
diff --git a/dimension/grammar.rules b/dimension/grammar.rules
index 25f8a3c..0963a1e 100644
--- a/dimension/grammar.rules
+++ b/dimension/grammar.rules
@@ -56,9 +56,11 @@ GLOBAL_SETTINGS_ITEMS: /* empty */ {
;
GLOBAL_SETTINGS_ITEM: "assumed_gamma" FLOAT {
+ dmnsn_diagnostic(@1,
+ "WARNING: assumed_gamma not supported");
$$ = dmnsn_new_astnode1(DMNSN_AST_ASSUMED_GAMMA, @$, $2);
}
- | "max_trace_level" FLOAT {
+ | "max_trace_level" INT {
$$ = dmnsn_new_astnode1(DMNSN_AST_MAX_TRACE_LEVEL,
@$, $2);
}