make thread_exit follow protocol

This commit is contained in:
Vítor Santos Costa 2012-10-19 09:27:19 +01:00
parent 2de3917e4a
commit 140a19ba7c
1 changed files with 1 additions and 1 deletions

View File

@ -356,7 +356,7 @@ thread_exit(Term) :-
var(Term), !,
'$do_error'(instantiation_error, thread_exit(Term)).
thread_exit(Term) :-
'$close_thread'('$thread_finished'(exited(Term)), Detached).
throw('$thread_finished'(exited(Term)).
'$run_at_thread_exit'(Id0) :-
'$thread_run_at_exit'(G, M),