Tweak error message

This commit is contained in:
Eelco Dolstra 2020-01-13 21:52:03 +01:00
parent bfaa4db7bd
commit c3181e21e7

View file

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