/*
+ * Copyright (c) 2007, Novell Inc.
+ *
+ * This program is licensed under the BSD license, read LICENSE.BSD
+ * for further information
+ */
+
+/*
* queue.h
*
*/
-#ifndef QUEUE_H
-#define QUEUE_H
+#ifndef SATSOLVER_QUEUE_H
+#define SATSOLVER_QUEUE_H
#include "pooltypes.h"
extern void queue_init_buffer(Queue *q, Id *buf, int size);
extern void queue_free(Queue *q);
-#endif /* QUEUE_H */
+#endif /* SATSOLVER_QUEUE_H */