diff options
Diffstat (limited to 'src/Transfer/Core/Core.cf')
| -rw-r--r-- | src/Transfer/Core/Core.cf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf index c68a5502e..b58470148 100644 --- a/src/Transfer/Core/Core.cf +++ b/src/Transfer/Core/Core.cf @@ -77,7 +77,9 @@ EType. Exp5 ::= "Type" ; -- String literal expressions. EStr. Exp5 ::= String ; -- Integer literal expressions. -EInt. Exp5 ::= Integer ; +EInteger. Exp5 ::= Integer ; +-- Double literal expressions. +EDouble. Exp5 ::= Double ; -- Meta variables EMeta. Exp5 ::= TMeta ; |