diff options
| author | Christophe Grenier <[email protected]> | 2024-01-30 20:40:12 +0100 |
|---|---|---|
| committer | Christophe Grenier <[email protected]> | 2024-01-30 20:40:12 +0100 |
| commit | 4efd6de3bcc536f5d9490fbbf315e3effea52dd7 (patch) | |
| tree | 2e218649a9e26ae4a5d16b3bbff41db833051c58 /src/ntfs_dir.c | |
| parent | 716c6aaf04b29666fe551184a9e67ae3f9b7cff4 (diff) | |
A lot of frama-c annotations or code disabling
Diffstat (limited to 'src/ntfs_dir.c')
| -rw-r--r-- | src/ntfs_dir.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ntfs_dir.c b/src/ntfs_dir.c index 21a57c03..d6fc559f 100644 --- a/src/ntfs_dir.c +++ b/src/ntfs_dir.c @@ -76,7 +76,6 @@ #include "common.h" #include "intrf.h" -#include "ntfs.h" #include "list.h" #include "list_sort.h" #include "dir.h" |