#! /bin/sh
# Copyright (C) 1998  Takashi Chikayama and Haruhiko Usa

rm -f klic.db atom.c atom.h atom.o funct.c funct.h funct.o \
      predicates.c predicates.o a.out core gmon.out Makefile~
for file in *.kl1
do
	f=`basename $file .kl1`
	rm -f $f.c $f.o $f.kl1~ $f.ext $f.ion $f.log $f.nrm
done

