Adding comments to NodeManager

Minor name changes for cleanup and hash function templates

1 files changed, 2 insertions, 2 deletions

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 7844008e8..93e95eedf 100644
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -73,7 +73,7 @@ class SatSolver {
 public:
 
   /** Hash function for literals */
-  struct SatLiteralHashFcn {
+  struct SatLiteralHashFunction {
     inline size_t operator()(const SatLiteral& literal) const;
   };
 
@@ -136,7 +136,7 @@ inline std::ostream& operator <<(std::ostream& out, const SatClause& clause) {
 }
 
 inline size_t
-SatSolver::SatLiteralHashFcn::operator()(const SatLiteral& literal) const {
+SatSolver::SatLiteralHashFunction::operator()(const SatLiteral& literal) const {
   return (size_t) minisat::toInt(literal);
 }