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) {