From b45dd88d6f85750e07e130c20a035b67ba9a3ee8 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 5 Jun 2023 17:10:16 +0200
Subject: [PATCH] Replace a manual #FORMULA prefix
---
src/test/java/de/tla2b/util/TestUtil.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index e75c6a7..8d7a8be 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -161,7 +161,7 @@ public class TestUtil {
public static String getAstStringofBExpressionString(final String expr) throws BCompoundException {
final BParser parser = new BParser("testcase");
- final Start startNode = parser.parse("#FORMULA " + expr, false);
+ final Start startNode = parser.parseFormula(expr);
return getTreeAsString(startNode);
}
--
GitLab