Delete liblogica.c