projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Defining the interfaces to add various regions to snapshot
[model-checker.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 5ecad250c9d35138a9573a2904643bef5f887cd6..51715d22614afaa3e61afa05df063cddba64c4a6 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-56,7
+56,6
@@
ModelChecker::ModelChecker()
rootNode = new TreeNode();
currentNode = rootNode;
action_trace = new action_list_t();
- global_vec = snapshot_utils::ReturnGlobalSegmentsToSnapshot();
}
ModelChecker::~ModelChecker()