diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-08-27 10:54:55 +0200 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-08-27 10:54:55 +0200 |
| commit | 174a7e4dceb3c1e78f32e1ae2d7e950b08f57fb7 (patch) | |
| tree | c63606e398c94fba63c53643a0ff0ea305b4cac8 /Grammar.pp | |
| parent | 66666f8dae196bc5327491da428034abfbdbfaaa (diff) | |
| download | Praspel-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.pp | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -168,7 +168,6 @@ behavior_content: ( ensures() | throwable() - | invariant() ) ::semicolon::+ )+ |