diff options
Diffstat (limited to 'new-luxc/source/luxc/synthesizer.lux')
| -rw-r--r-- | new-luxc/source/luxc/synthesizer.lux | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux index fae6d8c5f..6acd2a0a2 100644 --- a/new-luxc/source/luxc/synthesizer.lux +++ b/new-luxc/source/luxc/synthesizer.lux @@ -15,8 +15,7 @@ (^template [<from> <to>] (<from> value) (<to> value)) - ([#la;Unit #ls;Unit] - [#la;Bool #ls;Bool] + ([#la;Bool #ls;Bool] [#la;Nat #ls;Nat] [#la;Int #ls;Int] [#la;Deg #ls;Deg] |