From 0bc505930accb00f74724f384ee42c9a4dd32beb Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 22 May 2019 00:12:24 -0400
Subject: Removed the useless #lux.type? annotation tag.

---
 stdlib/source/program/scriptum.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/source/program/scriptum.lux')

diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux
index e37d69d1b..1522e8f66 100644
--- a/stdlib/source/program/scriptum.lux
+++ b/stdlib/source/program/scriptum.lux
@@ -274,7 +274,7 @@
 
 (def: (add-definition [name [def-type def-annotations def-value]] organization)
   (-> [Text Definition] Organization Organization)
-  (cond (macro.type? def-annotations)
+  (cond (type@= .Type def-type)
         (update@ #types
                  (: (Mutation (List Value))
                     (|>> (#.Cons [name def-annotations (:coerce Type def-value)])))
-- 
cgit v1.2.3