X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=benchmarks%2Fsatcheck%2Fseqlock%2Fseqlock_unannotated.cc;fp=benchmarks%2Fsatcheck%2Fseqlock%2Fseqlock_unannotated.cc;h=674fa190975510d12a38bbf85df58804a33265aa;hb=4e8a7fe4f03effc4895ec66cd3662c2ed8ebb6fa;hp=e380a2eb5e8358a4a8eeb30909a3af216227183d;hpb=99779716bb2842e00ea0a0c06e87fd9545ddfda3;p=satcheck.git

diff --git a/benchmarks/satcheck/seqlock/seqlock_unannotated.cc b/benchmarks/satcheck/seqlock/seqlock_unannotated.cc
index e380a2e..674fa19 100644
--- a/benchmarks/satcheck/seqlock/seqlock_unannotated.cc
+++ b/benchmarks/satcheck/seqlock/seqlock_unannotated.cc
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 
 #include "libinterface.h"