search

owlcs / owlapi

OWL API main repository
821 stars 315 forks source link

fix for issue #1047 #1048

Closed mrnolte closed 2 years ago

mrnolte commented 2 years ago

Hey there, this is a quick fix for issue #1047 (no functionality is changed).

Cheers, Robin