From 19c589edc2c1dd77550e26d4f5cf78ec772da337 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 31 Oct 2017 22:26:13 -0400
Subject: - Migrated the format of analysis nodes from a custom data-type, to
 just Code nodes.

---
 new-luxc/source/luxc/lang/synthesis.lux | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index 96053edc0..3207c41b4 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -2,8 +2,6 @@
   lux)
 
 (def: #export Arity Nat)
-(def: #export Register Nat)
-(def: #export Variable Int)
 
 (type: #export Synthesis Code)
 
-- 
cgit v1.2.3