From 14796f5d90581c02803c2a130efd3571299c6b52 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Mon, 22 Oct 2012 10:18:01 +0100 Subject: [PATCH] patch syntax error (by Paulo Moura) --- pl/threads.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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),