From cc296ac38d965cbca7e4f006b8f3669efdfff568 Mon Sep 17 00:00:00 2001 From: Benjamin Kaufmann Date: Tue, 11 Jun 2024 12:51:58 +0200 Subject: [PATCH] Fix typo in TextOutput::ResultStr enum. --- clasp/cli/clasp_output.h | 4 ++-- src/clasp_output.cpp | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/clasp/cli/clasp_output.h b/clasp/cli/clasp_output.h index 9ea6837..971cf75 100644 --- a/clasp/cli/clasp_output.h +++ b/clasp/cli/clasp_output.h @@ -1,5 +1,5 @@ // -// Copyright (c) 2009-2017 Benjamin Kaufmann +// Copyright (c) 2009-present Benjamin Kaufmann // // This file is part of Clasp. See http://www.cs.uni-potsdam.de/clasp/ // @@ -180,7 +180,7 @@ class TextOutput : public Output, private StatsVisitor { public: //! Supported text formats. enum Format { format_asp, format_aspcomp, format_sat09, format_pb09 }; - enum ResultStr { res_unknonw = 0, res_sat = 1, res_unsat = 2, res_opt = 3, num_str }; + enum ResultStr { res_unknown = 0, res_sat = 1, res_unsat = 2, res_opt = 3, num_str }; enum CategoryKey { cat_comment, cat_value, cat_objective, cat_result, cat_value_term, cat_atom_name, cat_atom_var, num_cat }; const char* result[num_str]; //!< Default result strings. diff --git a/src/clasp_output.cpp b/src/clasp_output.cpp index 340bb88..aa2ba2b 100644 --- a/src/clasp_output.cpp +++ b/src/clasp_output.cpp @@ -699,7 +699,7 @@ static inline std::string prettify(const std::string& str) { return t; } TextOutput::TextOutput(uint32 verbosity, Format fmt, const char* catAtom, char ifs) : Output(verbosity), stTime_(0.0), state_(0) { - result[res_unknonw] = "UNKNOWN"; + result[res_unknown] = "UNKNOWN"; result[res_sat] = "SATISFIABLE"; result[res_unsat] = "UNSATISFIABLE"; result[res_opt] = "OPTIMUM FOUND"; @@ -791,7 +791,7 @@ void TextOutput::printSummary(const ClaspFacade::Summary& run, bool final) { if (final && callQ() != print_no){ comment(1, "%s\n", finalSep); } - const char* res = result[res_unknonw]; + const char* res = result[res_unknown]; if (run.unsat()) { res = result[res_unsat]; } else if (run.sat()) { res = !run.optimum() ? result[res_sat] : result[res_opt]; } if (std::strlen(res)) { printLN(cat_result, "%s", res); }