From af7349d50c40e0604c9bb1e9a50aa1c3c0d407d8 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 23 Oct 2016 19:18:50 -0700
Subject: 3568

Fix syntax highlighting for labels after commit 3552.
---
 html/edit/011-errors.mu.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/edit/011-errors.mu.html')

diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html
index f3a9b566..146b2b15 100644
--- a/html/edit/011-errors.mu.html
+++ b/html/edit/011-errors.mu.html
@@ -145,7 +145,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     *sandbox<span class="Special"> &lt;- </span>put *sandbox, <span class="Constant">response-starting-row-on-screen:offset</span>, <span class="Constant">0</span>  <span class="Comment"># no response</span>
     row, screen<span class="Special"> &lt;- </span>render-text screen, sandbox-errors, left, right, <span class="Constant">1/red</span>, row
     <span class="Comment"># don't try to print anything more for this sandbox</span>
-    <span class="muControl">jump</span> +render-sandbox-end
+    <span class="muControl">jump</span> <span class="Constant">+render-sandbox-end</span>
   <span class="Delimiter">}</span>
 ]
 
-- 
cgit 1.4.1-2-gfad0