Commit f7b43a54 authored by Alexander Weigl's avatar Alexander Weigl
Browse files

fix test cases

parent 09d26df9
......@@ -69,7 +69,10 @@ public class TestTacletTranslator extends TestCase {
private Taclet parseTaclet(String s) {
try{
KeyIO.Loader load = io.load(s);
List<Taclet> taclets = load.parseFile().loadComplete();
List<Taclet> taclets = load.parseFile()
.loadDeclarations()
.loadSndDegreeDeclarations()
.loadTaclets();
lastSchemaNamespace = load.getSchemaNamespace();
return taclets.get(0);
}
......
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