Get gdax to not crash

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 2c08711eee0d1a655272bd56f1adf0d900ef599d..2e7442515b4cf47556817f727ba3bd8a7e65b466 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -64,7 +64,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler, NodeStack
        thrd_last_fence_release(),
        node_stack(node_stack),
        priv(new struct model_snapshot_members ()),
-                        mo_graph(new CycleGraph()),
+       mo_graph(new CycleGraph()),
        fuzzer(new Fuzzer())
 {
        /* Initialize a model-checker thread, for special ModelActions */