From f11a98760a6c1473615d1a1bb68644159a2a4f90 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 8 May 2022 11:02:10 +0200 Subject: [PATCH] Fixed typo in ontoconvert --- tools/ontoconvert | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ontoconvert b/tools/ontoconvert index 4a13dd452..1dae42466 100755 --- 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."