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/lang/translation/r/case.jvm.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'new-luxc/source/luxc/lang/translation/r/case.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/r/case.jvm.lux b/new-luxc/source/luxc/lang/translation/r/case.jvm.lux
index 3aa3d4a8a..fb16b8791 100644
--- a/new-luxc/source/luxc/lang/translation/r/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/case.jvm.lux
@@ -126,7 +126,7 @@
                          fail-pm!)))
     ([#.Nat  (<| runtimeT.int (:coerce Int))]
      [#.Int  runtimeT.int]
-     [#.Deg  (<| runtimeT.int (:coerce Int))])
+     [#.Rev  (<| runtimeT.int (:coerce Int))])
 
     (^template [<pm> <getter>]
       (^code (<pm> (~ [_ (#.Nat idx)])))
-- 
cgit v1.2.3