traceanalysis: rename to remove '_'

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 826497945556055254e7ef8a0a32507fc7bc4716..a7558c8c3a67dba4636264dd038d0204d37009c7 100644 (file)
--- 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()),
        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())
 {
        priv(new struct model_snapshot_members()),
        mo_graph(new CycleGraph())
 {