From f06ae104dc3caf9b4ff01a0b2d49b09ace88faad Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 15 Feb 2013 11:19:08 -0500 Subject: Some cleanup and copyright updating * update some copyrights for 2013 * cleaned up some comments/ifdefs, indentation * some spelling corrections * add some missing makefiles --- src/decision/decision_engine.cpp | 2 +- src/decision/decision_strategy.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/decision') diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp index 9e8add752..08a3e49d0 100644 --- a/src/decision/decision_engine.cpp +++ b/src/decision/decision_engine.cpp @@ -96,7 +96,7 @@ bool DecisionEngine::isRelevant(SatVariable var) SatValue DecisionEngine::getPolarity(SatVariable var) { - Debug("decision") << "getPolariry(" << var <<")" << std::endl; + Debug("decision") << "getPolarity(" << var <<")" << std::endl; if(d_relevancyStrategy != NULL) { Assert(isRelevant(var)); return d_relevancyStrategy->getPolarity( d_cnfStream->getNode(SatLiteral(var)) ); diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h index a3c0d1684..a2fda44fe 100644 --- a/src/decision/decision_strategy.h +++ b/src/decision/decision_strategy.h @@ -9,7 +9,7 @@ ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** - ** \brief Decision stategy + ** \brief Decision strategy ** ** Decision strategy **/ -- cgit v1.2.3