diff --git a/pl/threads.yap b/pl/threads.yap index b4041af6a..c7345e7d6 100644 --- a/pl/threads.yap +++ b/pl/threads.yap @@ -356,7 +356,7 @@ thread_exit(Term) :- var(Term), !, '$do_error'(instantiation_error, thread_exit(Term)). thread_exit(Term) :- - throw('$thread_finished'(exited(Term)). + throw('$thread_finished'(exited(Term))). '$run_at_thread_exit'(Id0) :- '$thread_run_at_exit'(G, M),