Update JavaScriptCodeGenerator.java (#220)

The `generateIfNode` method forgets to add else keyword.
rohanpadhye · Apr 28, 2023 · 05d5825 · 05d5825
1 parent abdc7e8
commit 05d5825
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/src/test/java/edu/berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java b/examples/src/test/java/edu/berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java
@@ -259,7 +259,7 @@ private String generateIfNode(SourceOfRandomness random) {
         return "if (" +
                 generateExpression(random) + ") " +
                 generateBlock(random) +
-                (random.nextBoolean() ? generateBlock(random) : "");
+                (random.nextBoolean() ? " else " + generateBlock(random) : "");
     }
 
     private String generateIndexNode(SourceOfRandomness random) {