From 85c8a6f5be5082cca18c7b122d38e018be48e105 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <lsf@jflex.de>
Date: Thu, 5 Jan 2023 20:18:27 +1100
Subject: [PATCH] trivial: adjust comment indent

---
 jflex/src/main/java/jflex/generator/Emitter.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jflex/src/main/java/jflex/generator/Emitter.java b/jflex/src/main/java/jflex/generator/Emitter.java
index 080b8a186..97bad86b4 100644
--- a/jflex/src/main/java/jflex/generator/Emitter.java
+++ b/jflex/src/main/java/jflex/generator/Emitter.java
@@ -1136,7 +1136,7 @@ private void emitActions() {
 
       println("            { " + action.content);
       println("            }");
-      println("            // fall through");
+      println("          // fall through");
       println("          case " + (i++) + ": break;");
     }
   }