aboutsummaryrefslogtreecommitdiffstats
path: root/Grammar.pp
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-08-27 10:54:39 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-08-27 10:54:39 +0200
commit66666f8dae196bc5327491da428034abfbdbfaaa (patch)
tree8fa06e4463dd2061f56df3d3f37c525fe2abc5df /Grammar.pp
parenta32f0068c5f7f88bc18a514b0624014a2288775a (diff)
downloadPraspel-66666f8dae196bc5327491da428034abfbdbfaaa.zip
Praspel-66666f8dae196bc5327491da428034abfbdbfaaa.tar.gz
Praspel-66666f8dae196bc5327491da428034abfbdbfaaa.tar.bz2
Allow empty contract.
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 077cc38..2f218a0 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -116,7 +116,7 @@
%token identifier [a-zA-Z_\x7f-\xff][a-zA-Z0-9_\x7f-\xff]*
#specification:
- method()+
+ method()*
method:
(