X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=2e7442515b4cf47556817f727ba3bd8a7e65b466;hp=2c08711eee0d1a655272bd56f1adf0d900ef599d;hb=fa4c0d65d9c72d08d28e604a3eaa2fd82a9c6b20;hpb=c56ca6ef155dc69125bfc53bf9893016b699a0c2

diff --git a/execution.cc b/execution.cc
index 2c08711e..2e744251 100644
--- 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 */