diff options
-rw-r--r-- | src/piraha/pegs/interface.peg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/piraha/pegs/interface.peg b/src/piraha/pegs/interface.peg index 99ba1508..7a6623ba 100644 --- a/src/piraha/pegs/interface.peg +++ b/src/piraha/pegs/interface.peg @@ -5,8 +5,8 @@ name = (?i:[a-z_][a-z0-9_]*) filename = (?i:([.a-z0-9_]|\\[^])*) accname = {-name}(::{-name})* inum = [1248] -rnum = [48] -cnum = 8|16 +rnum = [48]|16 +cnum = 8|16|32 type = (void|CCTK_INT{inum}?|CCTK_REAL{rnum}?|CCTK_COMPLEX{cnum}?|CCTK|CCTK_POINTER|CCTK_TO_CONST) num = [0-9]+ |