diff options
Diffstat (limited to 'src/cadet/desirability_table.c')
| -rw-r--r-- | src/cadet/desirability_table.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cadet/desirability_table.c b/src/cadet/desirability_table.c index 829c618af..b4db7c2dd 100644 --- a/src/cadet/desirability_table.c +++ b/src/cadet/desirability_table.c | |||
| @@ -5,6 +5,7 @@ | |||
| 5 | * for various plausible inputs. | 5 | * for various plausible inputs. |
| 6 | * @author Christian Grothoff | 6 | * @author Christian Grothoff |
| 7 | */ | 7 | */ |
| 8 | #include "platform.h" | ||
| 8 | #include <stdio.h> | 9 | #include <stdio.h> |
| 9 | 10 | ||
| 10 | int | 11 | int |