Fix error message 'assertion failed at'

This commit is contained in:
Eelco Dolstra 2020-11-03 14:44:52 +01:00
parent e8c379555f
commit 5e6eabe155

View file

@ -1405,7 +1405,7 @@ void ExprAssert::eval(EvalState & state, Env & env, Value & v)
if (!state.evalBool(env, cond, pos)) {
std::ostringstream out;
cond->show(out);
throwAssertionError(pos, "assertion '%1%' failed at %2%", out.str());
throwAssertionError(pos, "assertion '%1%' failed", out.str());
}
body->eval(state, env, v);
}