Permalink
Browse files

Adapt recent changes in class signature of puli

  • Loading branch information...
ykazakov committed Oct 11, 2017
1 parent 400e575 commit f3ffd4e08a048a238885f8f68730a0a9215fe624
Showing with 1 addition and 1 deletion.
  1. +1 −1 elk-proofs/src/test/java/org/semanticweb/elk/owl/inferences/TestUtils.java
@@ -52,7 +52,7 @@ public static void provabilityTest(Reasoner reasoner,
LOGGER_.debug("Provability test: {}", goal);
Proof<ElkInference> elkInferences = ReasonerElkProof.create(reasoner, goal,
factory);
InferenceDerivabilityChecker<ElkAxiom> checker = new InferenceDerivabilityChecker<ElkAxiom>(
InferenceDerivabilityChecker<ElkAxiom, ElkInference> checker = new InferenceDerivabilityChecker<ElkAxiom, ElkInference>(
elkInferences);
if (!checker.isDerivable(goal)) {
throw new AssertionError(String.format("%s: not derivable", goal));

0 comments on commit f3ffd4e

Please sign in to comment.