]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Windows things
authorJérémie Astor <fennecdjay@gmail.com>
Thu, 11 Mar 2021 02:39:05 +0000 (03:39 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Thu, 11 Mar 2021 02:39:05 +0000 (03:39 +0100)
src/parse/check.c

index c914f29faa5acfdf145c345d928c0ae7914bbade..977842ec48d39ac5aa0b20ba9ecf41582de9e8a9 100644 (file)
@@ -546,7 +546,6 @@ ANN2(1) static void function_alternative(const Env env, const Type f, const Exp
   if(env->context->error) // needed for ufcs
     return;
   loc_header(pos, env->name);
-  loc_header(pos, env->name);
   gw_err(_("argument type(s) do not match for function {+/}%s{0}.\n"),
     s_name(f->info->func->def->base->xid));
   loc_err(pos, env->name);