2000-07-10  Kazu Hirata  <kazu@hxi.com>

	* config/tc-tic54x.c: Fix formatting.