aboutsummaryrefslogtreecommitdiffstats
path: root/Grammar.pp
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-04-09 18:13:53 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-04-09 18:13:53 +0200
commiteb3820f417adc26ba684a43188c5b011a3aecc32 (patch)
tree7588794e2b14c83333ffa239433dd1d4ed73d447 /Grammar.pp
parentaf13e47350ad298432aef013e590e8ad1292b543 (diff)
downloadPraspel-eb3820f417adc26ba684a43188c5b011a3aecc32.zip
Praspel-eb3820f417adc26ba684a43188c5b011a3aecc32.tar.gz
Praspel-eb3820f417adc26ba684a43188c5b011a3aecc32.tar.bz2
Remove “xor” proposal.
Diffstat (limited to 'Grammar.pp')
-rw-r--r--Grammar.pp2
1 files changed, 0 insertions, 2 deletions
diff --git a/Grammar.pp b/Grammar.pp
index 3617f51..58a6265 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -90,7 +90,6 @@
%token parent parent
%token and and
%token or or
-%token xor xor
%token with with
%token pure pure
%token default …|default
@@ -184,7 +183,6 @@ exception:
representation:
disjunction()
-// ( ::xor:: disjunction() #exclusive_disjunction )*
constraint:
qualification() | contains()