From 6714048c9dc5e464719d5ef3a2a1c648fe16e0e7 Mon Sep 17 00:00:00 2001 From: Ulrich Neumerkel Date: Tue, 2 Jun 2009 20:20:17 +0200 Subject: [PATCH] Forgotten change to virtual --- library/hacks.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/hacks.yap b/library/hacks.yap index 1785c030e..3b22640aa 100644 --- a/library/hacks.yap +++ b/library/hacks.yap @@ -44,7 +44,7 @@ virtual_alarm(Interval, Goal, Left) :- virtual_alarm(Interval, Goal, Left) :- integer(Interval), !, on_signal(sig_alarm, _, Goal), - alarm(Interval, 0, Left, _). + virtual_alarm(Interval, 0, Left, _). virtual_alarm(Interval.USecs, Goal, Left.LUSecs) :- on_signal(sig_alarm, _, Goal), virtual_alarm(Interval, USecs, Left, LUSecs).