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

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

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