diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-25 07:59:13 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-25 07:59:13 +0200 |
commit | 97db512af4888da529e641f71539adef444cb8e3 (patch) | |
tree | bf90fc28312d4f182d139680faf274f1b5a795f5 /parsing/tok.ml | |
parent | e57074289193b0f0184f3c7143d8ab7e0edd5112 (diff) | |
parent | 9354722485c71ba6fbe6e6462eae98113aa830cc (diff) |
Merge PR#578: Fix nsatz not recognizing real literals.
Diffstat (limited to 'parsing/tok.ml')
0 files changed, 0 insertions, 0 deletions