diff options
Diffstat (limited to 'tools/console.c')
| -rw-r--r-- | tools/console.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/tools/console.c b/tools/console.c index d0e6aaef..f7de779f 100644 --- a/tools/console.c +++ b/tools/console.c @@ -64,7 +64,9 @@ serd_set_base_uri_from_path(SerdEnv* const env, const char* const path) } SerdSyntax -serd_choose_syntax(const SerdSyntax requested, const char* const filename) +serd_choose_syntax(SerdWorld* const world, + const SerdSyntax requested, + const char* const filename) { if (requested) { return requested; @@ -75,9 +77,10 @@ serd_choose_syntax(const SerdSyntax requested, const char* const filename) return guessed; } - fprintf(stderr, - "warning: unable to determine syntax of \"%s\", trying TriG\n", - filename); + serd_logf(world, + SERD_LOG_LEVEL_WARNING, + "unable to determine syntax of \"%s\", trying TriG", + filename); return SERD_TRIG; } |