fix $when (obs from David Powers)
This commit is contained in:
parent
fa91fb6d86
commit
4ae92544b2
@ -166,8 +166,8 @@ redo_freeze(Done, _, _) :- nonvar(Done), !.
|
||||
%
|
||||
% We still have some more conditions: continue the analysis.
|
||||
%
|
||||
redo_freeze(Done, _, '$when'(C, G, Done)) :- !,
|
||||
'$when'(C, G, Done).
|
||||
redo_freeze(Done, _, when(C, G, Done)) :- !,
|
||||
when(C, G, Done).
|
||||
|
||||
%
|
||||
% check if the variable was really bound
|
||||
|
Reference in New Issue
Block a user