Fixed unused import

359117a7 · Sarah Grebing · 2dc8e935 · 359117a7
Commit 359117a7 authored May 30, 2017 by Sarah Grebing
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

src/main/java/edu/kit/formal/interpreter/MatcherApi.java src/main/java/edu/kit/formal/interpreter/MatcherApi.java +0 -1

No files found.
--- a/src/main/java/edu/kit/formal/interpreter/MatcherApi.java
+++ b/src/main/java/edu/kit/formal/interpreter/MatcherApi.java
 package edu.kit.formal.interpreter;

 import edu.kit.formal.interpreter.data.GoalNode;
-import edu.kit.formal.interpreter.data.ScriptSequent;
 import edu.kit.formal.interpreter.data.VariableAssignment;
 import edu.kit.formal.proofscriptparser.ast.Signature;