model: number threads from 0, not 1

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index ebb9211fb227c28e27ba075af04e14f34e9aaf59..033bde21c0611e3fccbe6343655d17fc25d7ae21 100644 (file)
--- a/model.h
+++ b/model.h
@@ -60,7 +60,7 @@ public:
 
        bool next_execution();
 private:
-       int used_thread_id;
+       int next_thread_id;
        int used_sequence_numbers;
        int num_executions;