From 376ed521cd92c2c53f2e9cc3cb16b85b67e2fdea Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 4 Jul 2018 22:38:56 -0400
Subject: - Re-named "degree" to "revolution".

---
 new-luxc/source/luxc/repl.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/new-luxc/source/luxc/repl.lux b/new-luxc/source/luxc/repl.lux
index a6579e939..2fb62a3b4 100644
--- a/new-luxc/source/luxc/repl.lux
+++ b/new-luxc/source/luxc/repl.lux
@@ -113,7 +113,7 @@
                 [Bool %b]
                 [Nat %n]
                 [Int %i]
-                [Deg %d]
+                [Rev %r]
                 [Frac %f]
                 [Text %t])))))
 
-- 
cgit v1.2.3