diff options
| author | Pixel <Pixel> | 2001-11-12 16:11:04 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-11-12 16:11:04 +0000 |
| commit | 709543dec3eaa07f7d2d7da2157d1f9159bad5d8 (patch) | |
| tree | d18d30593f7b96ea3d2306bb6784d0a1a1a7a95e /include/Exceptions.h | |
| parent | 6718e4cfec88e3046030f60775293d6de03cdc07 (diff) | |
Taskman
Diffstat (limited to 'include/Exceptions.h')
| -rw-r--r-- | include/Exceptions.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/Exceptions.h b/include/Exceptions.h index 6862036..04b30d6 100644 --- a/include/Exceptions.h +++ b/include/Exceptions.h @@ -115,6 +115,8 @@ class TaskSwitch : public GeneralException { TaskSwitch(); }; +#include <String.h> + #else #error This only works with a C++ compiler #endif |