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

[satcheck.git] / benchmarks / satcheck-precompiled / linuxrwlock / linuxrwlocks.c

diff --git a/benchmarks/satcheck-precompiled/linuxrwlock/linuxrwlocks.c b/benchmarks/satcheck-precompiled/linuxrwlock/linuxrwlocks.c
index a48768b0b2ef1beffe87176035b1376f5814b668..69abbef410cdd299872d837d350001139df0b57b 100644 (file)
--- a/benchmarks/satcheck-precompiled/linuxrwlock/linuxrwlocks.c
+++ b/benchmarks/satcheck-precompiled/linuxrwlock/linuxrwlocks.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 #include <stdlib.h>
 
 #include "libinterface.h"