From 21064637ed8b8259d1305f21ace12c40b9561706 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Sat, 31 Mar 2012 23:12:06 -0700 Subject: rt: Fix whitespace --- src/rt/rust_kernel.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/rt/rust_kernel.cpp') diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp index e74819ab318..896a4de660b 100644 --- a/src/rt/rust_kernel.cpp +++ b/src/rt/rust_kernel.cpp @@ -67,7 +67,8 @@ rust_kernel::create_scheduler(size_t num_threads) { sched = new (this, "rust_scheduler") rust_scheduler(this, srv, num_threads, id); bool is_new = sched_table - .insert(std::pair(id, sched)).second; + .insert(std::pair(id, sched)).second; A(this, is_new, "Reusing a sched id?"); } sched->start_task_threads(); -- cgit 1.4.1-3-g733a5