Fix typo in TextOutput::ResultStr enum.

potassco · Jun 11, 2024 · cc296ac · cc296ac
1 parent 420d78d
commit cc296ac
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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); }