diff options
Diffstat (limited to 'lib/runtime.h')
| -rw-r--r-- | lib/runtime.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/runtime.h b/lib/runtime.h index ff9ad28..d647060 100644 --- a/lib/runtime.h +++ b/lib/runtime.h @@ -1,4 +1,4 @@ -/* $Id: runtime.h 5074 2010-10-28 16:36:05Z potyra $ +/* $Id: runtime.h 5110 2012-03-08 22:24:17Z potyra $ * * C-Code kernel / runtime library. * @@ -154,7 +154,7 @@ driver_update_int_after( t->sim_time = sim_time; t->val.univ_int = value; - slset_truncate_at(drv->transactions, t, true); + slset_truncate_at(drv->transactions, t, true, free); slset_add(drv->transactions, t, malloc); } @@ -171,7 +171,7 @@ driver_update_real_after( t->sim_time = sim_time; t->val.univ_real = value; - slset_truncate_at(drv->transactions, t, true); + slset_truncate_at(drv->transactions, t, true, free); slset_add(drv->transactions, t, malloc); } @@ -192,7 +192,7 @@ sched_create_process( proc->stack_frame = sf; do { ret = pthread_mutex_init(&proc->sleeping, NULL); - assert((ret == 0)|| (ret == EAGAIN)); + assert((ret == 0) || (ret == EAGAIN)); } while (ret == EAGAIN); slset_add(kernel->create_q, proc, malloc); |