From 76d209d7b33f713259bd9ddb453d571f814005c9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 20 May 2017 15:39:29 -0400
Subject: - Some refactoring.

---
 new-luxc/source/luxc/synthesizer.lux | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'new-luxc/source/luxc/synthesizer.lux')

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]
-- 
cgit v1.2.3