diff options
| author | Federico Igne <git@federicoigne.com> | 2021-10-03 10:21:10 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-10-03 10:22:03 +0100 |
| commit | 44b8e1c8c724bf7f62f2b567548b941f88a31dc6 (patch) | |
| tree | c0e0d39a7dd4327f762b573d1fcaf13d8473584b /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |
| parent | d0868f102ac29a04461d9aa68230c0d4bb663426 (diff) | |
| download | RSAComb-44b8e1c8c724bf7f62f2b567548b941f88a31dc6.tar.gz RSAComb-44b8e1c8c724bf7f62f2b567548b941f88a31dc6.zip | |
Fix compilation errors
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala index 21e0506..275f523 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
| @@ -114,9 +114,8 @@ object RSAOntology { | |||
| 114 | def filteringProgram(query: ConjunctiveQuery): FilteringProgram = | 114 | def filteringProgram(query: ConjunctiveQuery): FilteringProgram = |
| 115 | Logger.timed( | 115 | Logger.timed( |
| 116 | { | 116 | { |
| 117 | val filter = | 117 | val filter = FilteringProgram(FilterType.REVISED) |
| 118 | FilteringProgram(FilterType.REVISED, CanonGraph, FilterGraph(query)) | 118 | filter(CanonGraph, FilterGraph(query), query) |
| 119 | filter(query) | ||
| 120 | }, | 119 | }, |
| 121 | "Generating filtering program", | 120 | "Generating filtering program", |
| 122 | Logger.DEBUG | 121 | Logger.DEBUG |