From 613a17b4a8c2f370a26a788fd0ab7ae4fbad2503 Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Wed, 19 Mar 2025 10:33:28 +0100 Subject: [PATCH] ezsat: fix incorrect logging references to function names --- libs/ezsat/ezsat.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index 3b089ccca..20a210abe 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -676,10 +676,10 @@ void ezSAT::preSolverCallback() bool ezSAT::solver(const std::vector&, std::vector&, const std::vector&) { preSolverCallback(); - fprintf(stderr, "************************************************************************\n"); - fprintf(stderr, "ERROR: You are trying to use the solve() method of the ezSAT base class!\n"); + fprintf(stderr, "*************************************************************************\n"); + fprintf(stderr, "ERROR: You are trying to use the solver() method of the ezSAT base class!\n"); fprintf(stderr, "Use a dervied class like ezMiniSAT instead.\n"); - fprintf(stderr, "************************************************************************\n"); + fprintf(stderr, "*************************************************************************\n"); abort(); } @@ -1332,7 +1332,7 @@ void ezSAT::printInternalState(FILE *f) const fprintf(f, "\n"); } if (cnfConsumed) - fprintf(f, " *** more clauses consumed via cnfConsume() ***\n"); + fprintf(f, " *** more clauses consumed via consumeCnf() ***\n"); fprintf(f, "--8<-- snap --8<--\n"); }