diff options
Diffstat (limited to 'new-luxc/source/luxc/synthesizer.lux')
| -rw-r--r-- | new-luxc/source/luxc/synthesizer.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux index bd6220337..9cfcc020e 100644 --- a/new-luxc/source/luxc/synthesizer.lux +++ b/new-luxc/source/luxc/synthesizer.lux @@ -38,7 +38,7 @@ [#la;Nat #ls;Nat] [#la;Int #ls;Int] [#la;Deg #ls;Deg] - [#la;Real #ls;Real] + [#la;Frac #ls;Frac] [#la;Text #ls;Text] [#la;Definition #ls;Definition]) |