builtins.fetchgit: Fix bad format string

This commit is contained in:
Eelco Dolstra 2017-03-02 11:40:11 +01:00
parent fa125b9b28
commit fbf17f1ad7
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -63,7 +63,7 @@ static void prim_fetchgit(EvalState & state, const Pos & pos, Value * * args, Va
else if (name == "rev")
rev = state.forceStringNoCtx(*attr.value, *attr.pos);
else
throw EvalError(format("unsupported argument %1% to fetchgit, at %3%") % attr.name % attr.pos);
throw EvalError("unsupported argument %s to fetchgit, at %s", attr.name, *attr.pos);
}
if (url.empty())