projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8cb0f16
)
action: fix incorrect comment
author
Brian Norris
<banorris@uci.edu>
Sat, 2 Feb 2013 02:08:39 +0000
(18:08 -0800)
committer
Brian Norris
<banorris@uci.edu>
Sat, 2 Feb 2013 02:13:57 +0000
(18:13 -0800)
action.cc
patch
|
blob
|
history
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;