action: fix incorrect comment

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index acecd5a6e20f6b512cef0d9e136db4422d8078d8..bb2b282a67a9c5aa3852d57c7936b438fc3688d1 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -542,7 +542,7 @@ void ModelAction::print() const
                model_print("\n");
 }
 
-/** @brief Print nicely-formatted info about this ModelAction */
+/** @brief Get a (likely) unique hash for this ModelAction */
 unsigned int ModelAction::hash() const
 {
        unsigned int hash = (unsigned int)this->type;