From fdea4e37223f0f7b705cb90aefa9e2d6085a944b Mon Sep 17 00:00:00 2001 From: Iztok Jeras Date: Thu, 25 Jun 2026 01:11:02 +0200 Subject: [PATCH] documentation: avoid documentation rendering issue --- passes/sat/sat.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index accfe0399..9afd609c8 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -931,8 +931,8 @@ struct SatPass : public Pass { log("and additional constraints passed as parameters.\n"); log("\n"); log(" -all\n"); - log(" show all solutions to the problem (this can grow exponentially, use\n"); - log(" -max instead to get solutions)\n"); + log(" show all solutions to the problem (this can grow exponentially,\n"); + log(" use -max instead to get solutions)\n"); log("\n"); log(" -max \n"); log(" like -all, but limit number of solutions to \n");