trivial: adjust comment indent

jflex-de · Jan 5, 2023 · 85c8a6f · 85c8a6f
1 parent 981e549
commit 85c8a6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;");
     }
   }