diff options
Diffstat (limited to 'plugins/libcsem')
| -rw-r--r-- | plugins/libcsem/exit.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/libcsem/exit.c b/plugins/libcsem/exit.c index b5545b9..cbfec64 100644 --- a/plugins/libcsem/exit.c +++ b/plugins/libcsem/exit.c @@ -24,6 +24,9 @@ #include "exit.h" +#include <format/format.h> + + /* Modifie toutes les instructions appelant exit(). */ static void mark_one_kind_of_exit_as_return(const GLoadedBinary *, const char *); |