diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:14:34 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:41:21 +0100 |
| commit | bbb4d3cdab63dec778ffed93825a81f335b9f4b3 (patch) | |
| tree | b7f4566756527a131dc5c312c319bef4ecc72a04 /src/main/scala/uk/ac/ox/cs/acqua/approximation | |
| parent | a533362a8fab42a385f3f40a20503b7b59b567da (diff) | |
| download | ACQuA-bbb4d3cdab63dec778ffed93825a81f335b9f4b3.tar.gz ACQuA-bbb4d3cdab63dec778ffed93825a81f335b9f4b3.zip | |
fix(elho-reasoner): correct handling of Optional value
This bug was introduced with the recent update of the OWLAPI to 5.1.20.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/acqua/approximation')
0 files changed, 0 insertions, 0 deletions