partial conversion to fuzzer

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 8fdc9fbe59be737ed849582ac77b35c124d41665..c63b45bac82fab505e74aa45f38c91120f22db6e 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -11,7 +11,6 @@
 #include "common.h"
 #include "clockvector.h"
 #include "cyclegraph.h"
-#include "promise.h"
 #include "datarace.h"
 #include "threads-model.h"
 #include "bugmessage.h"