diff leim/CXTERM-DIC/Punct-b5.tit @ 71987:6dd00de34fff

(compile_pattern_1): Use xsignal1. (signal_failure): Remove (was only called once). (search_command): Use xsignal1 instead of signal_failure.
author Kim F. Storm <storm@cua.dk>
date Tue, 18 Jul 2006 13:28:53 +0000
parents 695cf19ef79e
children 375f2633d815 ef719132ddfa
line wrap: on
line diff