X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=a7558c8c3a67dba4636264dd038d0204d37009c7;hb=5178739a27add5e59a1213c9ac90e73397c1a23d;hp=826497945556055254e7ef8a0a32507fc7bc4716;hpb=53a04a6ac7cbbf37880effe033704143bd6aaaaf;p=model-checker.git

diff --git a/model.cc b/model.cc
index 8264979..a7558c8 100644
--- a/model.cc
+++ b/model.cc
@@ -80,7 +80,7 @@ ModelChecker::ModelChecker(struct model_params params) :
 	thrd_last_action(new SnapVector<ModelAction *>(1)),
 	thrd_last_fence_release(new SnapVector<ModelAction *>()),
 	node_stack(new NodeStack()),
-	trace_analyses(new ModelVector<Trace_Analysis *>()),
+	trace_analyses(new ModelVector<TraceAnalysis *>()),
 	priv(new struct model_snapshot_members()),
 	mo_graph(new CycleGraph())
 {