diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend index abb05e83..9148424c 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend | |||
@@ -69,7 +69,7 @@ class TypeConsistencyChecker extends LogicReasoner{ | |||
69 | } | 69 | } |
70 | } | 70 | } |
71 | 71 | ||
72 | override getInterpretation(ModelResult modelResult) { | 72 | override getInterpretations(ModelResult modelResult) { |
73 | throw new UnsupportedOperationException('''This solver is unable to create interpretations!''') | 73 | throw new UnsupportedOperationException('''This solver is unable to create interpretations!''') |
74 | } | 74 | } |
75 | } \ No newline at end of file | 75 | } \ No newline at end of file |