Implementing hash indexing of DiffStateContainer
diff --git a/model/sync-std-name-info.cc b/model/sync-std-name-info.cc
index 762ecfd..02e4336 100644
--- a/model/sync-std-name-info.cc
+++ b/model/sync-std-name-info.cc
@@ -63,7 +63,7 @@
 {
   m_id = m_ids ++; // set ID for a newly inserted element
   m_digest << name;
-  m_digest.getHash (); // finalize digest
+  m_digest.finalize ();
 
   // std::cout << "StdNameInfo: " << name << " = " << m_id << "\n";
 }