diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-13 19:13:11 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-13 20:13:53 -0400 |
| commit | cd38377b1b558ebf53a6401b0baf02e0329ba58b (patch) | |
| tree | e7d66e3b4d51e5f5f238834724c805047661af4c /src/rt/rust_kernel.cpp | |
| parent | 1c0b45785387529c1f8d6313d4b632fae53188c1 (diff) | |
| download | rust-cd38377b1b558ebf53a6401b0baf02e0329ba58b.tar.gz rust-cd38377b1b558ebf53a6401b0baf02e0329ba58b.zip | |
Add asserts to check fail_sched_loop() only once
Diffstat (limited to 'src/rt/rust_kernel.cpp')
| -rw-r--r-- | src/rt/rust_kernel.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp index 82fec98e86a..cbe0bb21199 100644 --- a/src/rt/rust_kernel.cpp +++ b/src/rt/rust_kernel.cpp @@ -15,7 +15,7 @@ rust_kernel::rust_kernel(rust_env *env) : _region(env, true), _log(NULL), - max_task_id(1), + max_task_id(INIT_TASK_ID-1), // sync_add_and_fetch increments first max_port_id(1), rval(0), max_sched_id(1), |