diff options
| author | Federico Igne <git@federicoigne.com> | 2021-10-21 11:02:21 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-10-21 11:02:21 +0100 |
| commit | a0a22c7146b3fb0b16f6986b69c75fa6a52196bb (patch) | |
| tree | a68cee74e1e1994d6469d5fe1d1796ad6050ca8d /src/main/scala/uk/ac/ox/cs | |
| parent | e3534ea4b8d76e9a22991ec806ab3acd6bae0fea (diff) | |
| download | RSAComb-a0a22c7146b3fb0b16f6986b69c75fa6a52196bb.tar.gz RSAComb-a0a22c7146b3fb0b16f6986b69c75fa6a52196bb.zip | |
Serialise and silence output in tests
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala index 2f48798..505937b 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | |||
| @@ -271,7 +271,6 @@ trait RDFoxConverter { | |||
| 271 | } | 271 | } |
| 272 | val head = convert(a.getSuperProperty, term, term1, suffix)(fresh) | 272 | val head = convert(a.getSuperProperty, term, term1, suffix)(fresh) |
| 273 | val rule = Rule.create(head, body) | 273 | val rule = Rule.create(head, body) |
| 274 | println(rule) | ||
| 275 | ResultR(List(rule)) | 274 | ResultR(List(rule)) |
| 276 | } | 275 | } |
| 277 | 276 | ||