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

[satcheck.git] / test / function_microbenchmarks.c

diff --git a/test/function_microbenchmarks.c b/test/function_microbenchmarks.c
index c703a10efc81b7251ff73cf2b4489c18569bf1aa..220171736161624be4ca37ee20be7f57f6cc1461 100644 (file)
--- a/test/function_microbenchmarks.c
+++ b/test/function_microbenchmarks.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 
 #include "libinterface.h"