path extraction

[mc1516pa.git] / modelchecker / deque.c

diff --git a/modelchecker/deque.c b/modelchecker/deque.c
index bff77ed..12ad6fc 100644 (file)
--- a/modelchecker/deque.c
+++ b/modelchecker/deque.c
@@ -66,6 +66,6 @@ int isEmpty(deque *d)
 
 state_t *get_front(deque *d)
 {
-    if (isEmpty(d) == 1) return d->front->s;
+    if (isEmpty(d) == 0) return d->front->s;
     else return NULL;
 }