aboutsummaryrefslogtreecommitdiffstats
path: root/Grammar.pp
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-07-09 10:19:55 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-07-09 10:19:55 +0200
commitc1705eee8214d58c95e88a5a469b0072a92076f4 (patch)
treec50ec27dcdc649114814cf816d88a576f8d2d76f /Grammar.pp
parent85d0110c7ab8b46dffada910b24e682c102b6985 (diff)
downloadPraspel-c1705eee8214d58c95e88a5a469b0072a92076f4.zip
Praspel-c1705eee8214d58c95e88a5a469b0072a92076f4.tar.gz
Praspel-c1705eee8214d58c95e88a5a469b0072a92076f4.tar.bz2
@throwable declares a disjunction of clauses.
Diffstat (limited to 'Grammar.pp')
-rw-r--r--Grammar.pp2
1 files changed, 1 insertions, 1 deletions
diff --git a/Grammar.pp b/Grammar.pp
index cb97bbb..05ab07a 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -182,7 +182,7 @@ expression:
( ::and:: ( declaration() | constraint() | domainof() | predicate() ) )*
exceptional_expression:
- exception() ( ::and:: exception() )*
+ exception() ( ::or:: exception() )*
exception:
exception_identifier() ( ::or:: exception_identifier() )*