updated utils.c

This commit is contained in:
Václav Šmejkal 2022-12-04 19:16:33 +01:00
parent ea76a8b5e6
commit 2401612ccf
No known key found for this signature in database
GPG Key ID: FD749A97DF2D5E19

View File

@ -20,7 +20,9 @@ along with this program. If not, see <https://www.gnu.org/licenses/>.
#include <unistd.h>
void deallocateLogger(int logger)
#include <why2/logger/flags.h>
void deallocateLogger(logFile logger)
{
close(logger);
close(logger.file);
}