patch syntax error (by Paulo Moura)

This commit is contained in:
Vítor Santos Costa 2012-10-22 10:18:01 +01:00
parent 7f41b36378
commit 14796f5d90

View File

@ -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),