annotate include/queue.h @ 1242:4ed556678214

At loop heads, havoc relations that might be changed by the loop
author Adam Chlipala <adamc@hcoop.net>
date Sat, 17 Apr 2010 14:26:52 -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