Remove C/C++11 header files that we don't really use

[satcheck.git] / benchmarks / satcheck-precompiled / seqlock / seqlock.cc

diff --git a/benchmarks/satcheck-precompiled/seqlock/seqlock.cc b/benchmarks/satcheck-precompiled/seqlock/seqlock.cc
index 1af11a4cb6054764f60d92327c5d86de32b664ac..436911c909d966a8431cecea31a6b2deffbcc46a 100644 (file)
--- a/benchmarks/satcheck-precompiled/seqlock/seqlock.cc
+++ b/benchmarks/satcheck-precompiled/seqlock/seqlock.cc
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 
 #include "libinterface.h"