diff options
Diffstat (limited to 'src/set/ibf.c')
| -rw-r--r-- | src/set/ibf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/set/ibf.c b/src/set/ibf.c index 0f7eb6a9f..b6fb52b6b 100644 --- a/src/set/ibf.c +++ b/src/set/ibf.c | |||
| @@ -24,6 +24,7 @@ | |||
| 24 | * @author Florian Dold | 24 | * @author Florian Dold |
| 25 | */ | 25 | */ |
| 26 | 26 | ||
| 27 | #include "platform.h" | ||
| 27 | #include "ibf.h" | 28 | #include "ibf.h" |
| 28 | 29 | ||
| 29 | /** | 30 | /** |