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

[satcheck.git] / benchmarks / satcheck / linuxrwlock / linuxrwlocks_unannotated.c

diff --git a/benchmarks/satcheck/linuxrwlock/linuxrwlocks_unannotated.c b/benchmarks/satcheck/linuxrwlock/linuxrwlocks_unannotated.c
index 10496dc2ae6d092f27c3786a47b9d29fa2dd1b30..3ac1e432b6fd4d56fa4cef34448034a7794936f6 100644 (file)
--- a/benchmarks/satcheck/linuxrwlock/linuxrwlocks_unannotated.c
+++ b/benchmarks/satcheck/linuxrwlock/linuxrwlocks_unannotated.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 #include <stdlib.h>
 
 #include "libinterface.h"