make sure action is deterministic on key input.

This commit is contained in:
Vítor Manuel de Morais Santos Costa 2009-11-04 12:29:09 +00:00
parent 8f46f3d71d
commit 0e1fae17d9

View File

@ -571,7 +571,7 @@ debugging :-
%'$action'(10,_,_,_,_,on) :- % newline creep %'$action'(10,_,_,_,_,on) :- % newline creep
% nb_setval('$debug_jump',false). % nb_setval('$debug_jump',false).
'$action'(10,_,_,_,_,on) :- % newline creep '$action'(10,_,_,_,_,on) :- !, % newline creep
nb_setval('$debug_jump',false). nb_setval('$debug_jump',false).
'$action'(0'!,_,_,_,_,_) :- !, % ! 'g execute '$action'(0'!,_,_,_,_,_) :- !, % ! 'g execute
read(user,G), read(user,G),