deque: #include's
[model-checker-benchmarks.git] / chase-lev-deque / main.c
index 424806f..382c62a 100644 (file)
@@ -3,7 +3,6 @@
 #include <stdio.h>
 #include <threads.h>
 #include <stdatomic.h>
-#include <stdio.h>
 
 #include "model-assert.h"