Changeset 4544 for trunk/configs
- Timestamp:
- 10/29/08 14:24:54 (2 months ago)
- Files:
-
- 1 modified
-
trunk/configs/k5.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/k5.config
r4524 r4544 12 12 % configuration file for K-Prolog 5.1.2a and later 5.1.x versions 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 424 424 425 425 '$lgt_read_single_char'(Char) :- 426 get(Code), char_code(Char, Code). 426 get_code(Code), char_code(Char, Code), 427 ( Code =:= 10 -> 428 true 429 ; peek_code(10) -> % hack to workaround the lack of built-in 430 get_code(_) % support for unbuffered character input 431 ; true 432 ). 427 433 428 434
