annotate include/queue.h @ 1233:8d1d2f7163c2

Fix problem with overly weak ambients for queries; fix known-related bug in assert for Dt1
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 10:40:55 -0400
parents 80d048a8efe5
children
rev   line source
adamc@859 1 #ifndef QUEUE_H
adamc@859 2 #define QUEUE_H
adamc@859 3
adamc@859 4 int uw_dequeue();
adamc@859 5 void uw_enqueue(int);
adamc@859 6
adamc@859 7 #endif