# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1262100482 18000
# Node ID 80d048a8efe58b29b26b5875f49964d644449c43
# Parent  324c9ffe8ff9ee0ee8c0a25c13dd157a5691162a
Move queue.h to include/

diff -r 324c9ffe8ff9 -r 80d048a8efe5 include/queue.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/include/queue.h	Tue Dec 29 10:28:02 2009 -0500
@@ -0,0 +1,7 @@
+#ifndef QUEUE_H
+#define QUEUE_H
+
+int uw_dequeue();
+void uw_enqueue(int);
+
+#endif
diff -r 324c9ffe8ff9 -r 80d048a8efe5 src/c/queue.h
--- a/src/c/queue.h	Sun Dec 27 14:25:22 2009 -0500
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-#ifndef QUEUE_H
-#define QUEUE_H
-
-int uw_dequeue();
-void uw_enqueue(int);
-
-#endif