From 9b4d6d14e30df391cbbee03539cbc795ae8925d0 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 16:06:26 +0200
Subject: [PATCH] Don't catch NoClassDefFoundError when calling BParser (wtf?!)
---
src/main/java/de/tlc4b/Translator.java | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/main/java/de/tlc4b/Translator.java b/src/main/java/de/tlc4b/Translator.java
index ece6c34..8a2516c 100644
--- a/src/main/java/de/tlc4b/Translator.java
+++ b/src/main/java/de/tlc4b/Translator.java
@@ -66,11 +66,7 @@ public class Translator {
this.ltlFormula = ltlFormula;
BParser parser = new BParser(machineName);
- try {
- start = parser.parseFile(machineFile);
- } catch (NoClassDefFoundError e) {
- throw new TLC4BIOException("Definitions file cannot be found.", e);
- }
+ start = parser.parseFile(machineFile);
// Definitions of definitions files are injected in the ast of the main
// machine
--
GitLab