Merge pull request #409 from emmo-repo/ontoconvert

Fixed typo in ontoconvert
emmo-repo · May 8, 2022 · 701234c · 701234c
2 parents 8a19050 + f11a987
commit 701234c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/ontoconvert b/tools/ontoconvert
@@ -213,7 +213,7 @@ def main(argv: list = None):
                 raise NotImplementedError(
                     "Only FaCT++ is currently supported..."
                 )
-            if args.output_dir:
+            if args.output_dir != ".":
                 raise NotImplementedError(
                     "The --output-dir option is currently not supported "
                     "together with --reasoner."