diff options
| author | Gabriel Kerneis | 2014-04-01 14:22:31 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-01 14:22:31 +0100 |
| commit | dfe90bb7a44ff3a753d2bf31b1c510aeff824494 (patch) | |
| tree | ff50bdaf285ef2489c62afa769999cca02956a42 /language/l2_parse.ott | |
| parent | c8fbe777c32bfa6355349110e14f0244090421da (diff) | |
Allow negative "nat" internally
to_num and to_vec probably still need to be fixed
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index b2e9cfdf..eb238b65 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -7,7 +7,7 @@ metavar num ::= {{ lex numeric }} {{ ocaml int }} {{ hol num }} - {{ lem natural }} + {{ lem integer }} {{ com Numeric literals }} metavar hex ::= |