forgot ProofScriptEntry

Author: wadoon

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