Index: FOPQueue.csp =================================================================== diff -u -r153 -r162 --- FOPQueue.csp (.../FOPQueue.csp) (revision 153) +++ FOPQueue.csp (.../FOPQueue.csp) (revision 162) @@ -328,7 +328,7 @@