From 05d5825a9bced83a6a6c50cf57a0a8b6cd2e9fc0 Mon Sep 17 00:00:00 2001
From: Ao Li <5557706+aoli-al@users.noreply.github.com>
Date: Fri, 28 Apr 2023 09:13:09 -0400
Subject: [PATCH] Update JavaScriptCodeGenerator.java (#220)

The `generateIfNode` method forgets to add else keyword.
---
 .../berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java    | 2 +-
 1 file changed, 1 insertion(+), 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
index e18492562..f5f7df5ca 100644
--- 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) {