aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-06-04 18:27:28 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-06-04 18:27:28 +0100
commitb0148d89a76b8fcbeb2e021442842e4e89690ef3 (patch)
tree5fa660dabd4b009c114c522fffd9aaed39a9adde /src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java
parent51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 (diff)
downloadACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.tar.gz
ACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.zip
Fixed terms' depth count in SkolemTermsManager (it was always zero).
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java')
0 files changed, 0 insertions, 0 deletions