diff options
Diffstat (limited to 'src/thread.c')
| -rw-r--r-- | src/thread.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/thread.c b/src/thread.c index 33d113295ba..59e5b6617e3 100644 --- a/src/thread.c +++ b/src/thread.c | |||
| @@ -617,7 +617,7 @@ static void | |||
| 617 | mark_one_thread (struct thread_state *thread) | 617 | mark_one_thread (struct thread_state *thread) |
| 618 | { | 618 | { |
| 619 | /* Get the stack top now, in case mark_specpdl changes it. */ | 619 | /* Get the stack top now, in case mark_specpdl changes it. */ |
| 620 | void *stack_top = thread->stack_top; | 620 | void const *stack_top = thread->stack_top; |
| 621 | 621 | ||
| 622 | mark_specpdl (thread->m_specpdl, thread->m_specpdl_ptr); | 622 | mark_specpdl (thread->m_specpdl, thread->m_specpdl_ptr); |
| 623 | 623 | ||