aboutsummaryrefslogtreecommitdiffstats
path: root/Grammar.pp
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-08-27 10:54:55 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-08-27 10:54:55 +0200
commit174a7e4dceb3c1e78f32e1ae2d7e950b08f57fb7 (patch)
treec63606e398c94fba63c53643a0ff0ea305b4cac8 /Grammar.pp
parent66666f8dae196bc5327491da428034abfbdbfaaa (diff)
downloadPraspel-174a7e4dceb3c1e78f32e1ae2d7e950b08f57fb7.zip
Praspel-174a7e4dceb3c1e78f32e1ae2d7e950b08f57fb7.tar.gz
Praspel-174a7e4dceb3c1e78f32e1ae2d7e950b08f57fb7.tar.bz2
The @default clause must not contain @invariant.
Diffstat (limited to 'Grammar.pp')
-rw-r--r--Grammar.pp1
1 files changed, 0 insertions, 1 deletions
diff --git a/Grammar.pp b/Grammar.pp
index 2f218a0..db419f0 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -168,7 +168,6 @@ behavior_content:
(
ensures()
| throwable()
- | invariant()
)
::semicolon::+
)+