need to fix deque

[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.h

diff --git a/benchmark/chase-lev-deque-bugfix/deque.h b/benchmark/chase-lev-deque-bugfix/deque.h
index b046cc7b7cc0d11af1d578be663ff067c39ae60a..fa76d8dc4e7073e52fc72c234430e21c6d219a7c 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/deque.h
+++ b/benchmark/chase-lev-deque-bugfix/deque.h
@@ -1,11 +1,5 @@
 #ifndef DEQUE_H
 #define DEQUE_H
-#include <spec_lib.h>
-#include <stdlib.h>
-#include <cdsannotate.h>
-#include <specannotation.h>
-#include <model_memory.h>
-#include "common.h"
 
 typedef struct {
        atomic_size_t size;