Commit c8a6f61a authored by Alexander Weigl's avatar Alexander Weigl

fix compiler error

parent 78ce89f7
Pipeline #15309 passed with stages
in 8 minutes and 24 seconds
...@@ -194,4 +194,10 @@ public interface ASTTraversal<T> extends Visitor<T> { ...@@ -194,4 +194,10 @@ public interface ASTTraversal<T> extends Visitor<T> {
defCase.getBody().accept(this); defCase.getBody().accept(this);
return null; return null;
} }
@Override
default T visit(FunctionCall func) {
func.getArguments().forEach(a -> a.accept(this));
return null;
}
} }
...@@ -124,7 +124,7 @@ public class StateWrapper<T> implements InterpreterObserver<T> { ...@@ -124,7 +124,7 @@ public class StateWrapper<T> implements InterpreterObserver<T> {
@Override @Override
public Void defaultVisit(ASTNode node) { public Void defaultVisit(ASTNode node) {
LOGGER.error("enter {}", node.accept(new ShortCommandPrinter())); LOGGER.debug("enter {}", node.accept(new ShortCommandPrinter()));
createNormalNode(node); createNormalNode(node);
return null; return null;
} }
...@@ -136,7 +136,7 @@ public class StateWrapper<T> implements InterpreterObserver<T> { ...@@ -136,7 +136,7 @@ public class StateWrapper<T> implements InterpreterObserver<T> {
@Override @Override
public Void visit(ProofScript proofScript) { public Void visit(ProofScript proofScript) {
LOGGER.error("enter {}", proofScript.accept(new ShortCommandPrinter())); LOGGER.debug("enter {}", proofScript.accept(new ShortCommandPrinter()));
if (root) { if (root) {
createRoot(proofScript); createRoot(proofScript);
root = false; root = false;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment