diff options
| author | Pixel <Pixel> | 2001-10-29 16:23:12 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-10-29 16:23:12 +0000 |
| commit | a259ec553a1d685ebb976ec34eaaf700d24ee0c4 (patch) | |
| tree | ca310bfa8858bc3d5a1602789ecbe41e9c2ca3dd /include/Exceptions.h | |
| parent | 2e5bed84841f33ff28dd95b77b555720c875a286 (diff) | |
More tasking implementation
Diffstat (limited to 'include/Exceptions.h')
| -rw-r--r-- | include/Exceptions.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/Exceptions.h b/include/Exceptions.h index 16737e0..87ba6d1 100644 --- a/include/Exceptions.h +++ b/include/Exceptions.h @@ -5,6 +5,7 @@ #include <stdio.h> #include <unistd.h> #include <stddef.h> +#include <string.h> /* * Gère les exceptions du système. Le programme principal devrait tenter |