From 464b6e8f5e6c62f58fa8c7ff61ab2ad215e98bd1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 9 Aug 2021 23:02:01 -0400
Subject: Improved single-line comment syntax (from "##" to "...").

---
 lux-jvm/source/luxc/lang/translation/jvm/case.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index a863f9113..d3f6a29c1 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -41,7 +41,7 @@
     0 function.identity
     1 _.POP
     2 _.POP2
-    _ ## (n.> 2)
+    _ ... (n.> 2)
     (|>> _.POP2
          (pop_altI (n.- 2 stack_depth)))))
 
@@ -183,7 +183,7 @@
     ([synthesis.side/left  false]
      [synthesis.side/right true])
 
-    ## Extra optimization
+    ... Extra optimization
     (^template [<path> <projection>]
       [(^ (<path> lefts))
        (operation@in (|>> peekI
-- 
cgit v1.2.3