diff options
-rw-r--r-- | Auxiliary/Grammars/kranc2.peg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Auxiliary/Grammars/kranc2.peg b/Auxiliary/Grammars/kranc2.peg index e078f7e..a98aaf7 100644 --- a/Auxiliary/Grammars/kranc2.peg +++ b/Auxiliary/Grammars/kranc2.peg @@ -4,7 +4,7 @@ end = ([ \t]+|#.*)*\r*\n name = [A-Za-z][A-Za-z0-9]* uname = [A-Za-z][A-Za-z0-9_]* indices = ([_^]({index_symbol}|\({index_expr}(,{index_expr})*\))+)* -index_symbol = [a-zA-Z]'* +index_symbol = [a-zA-Z]'*|[0-9] index_expr = {index_symbol}([+-]{int}|) tensor = {name}{indices} dtensor = D[a-z0-9]*{indices}? {tensor} |