forgot ProofScriptEntry

KeYProject · Apr 24, 2024 · 8ac637b · 8ac637b
1 parent 4545251
commit 8ac637b
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/nparser/ProofScriptEntry.java b/key.core/src/main/java/de/uka/ilkd/key/nparser/ProofScriptEntry.java
@@ -0,0 +1,12 @@
+/* This file is part of KeY - https://key-project.org
+ * KeY is licensed under the GNU General Public License Version 2
+ * SPDX-License-Identifier: GPL-2.0-only */
+package de.uka.ilkd.key.nparser;
+
+/**
+ *
+ * @author Alexander Weigl
+ * @version 1 (23.04.24)
+ */
+public record ProofScriptEntry(String script, de.uka.ilkd.key.parser.Location location) {
+}