ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

removed uunsed includes

Browse Source
This commit is contained in:
Václav Šmejkal 2023-02-08 09:41:14 +01:00
parent 4a1d77175e
commit ff1b95748c
Signed by: ENGO150
GPG Key ID: F6D6DF86242C5A59
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/core/lib/utils/memory.c
View File

@ -9,8 +9,6 @@
#include <stdio.h> #include <stdio.h>
#include <stdlib.h> #include <stdlib.h>
#include <string.h> #include <string.h>
#include <unistd.h>
#include <fcntl.h>
#include <dirent.h> #include <dirent.h>
#include <why2/flags.h> #include <why2/flags.h>