diff options
| author | Adam Borowski <kilobyte@angband.pl> | 2011-09-08 02:05:57 +0200 |
|---|---|---|
| committer | Adam Borowski <kilobyte@angband.pl> | 2011-09-08 02:09:51 +0200 |
| commit | 58b7930167ecccbe138bbfc7c6c7f44f9dd09107 (patch) | |
| tree | 6fe98a2ad6c7fe17ff48215f0cb32fb9031db5c4 /crawl-ref/source/menu.h | |
| parent | f15db1b054f390612b74db98a4b15159f038ca56 (diff) | |
| download | crawl-ref-58b7930167ecccbe138bbfc7c6c7f44f9dd09107.tar.gz crawl-ref-58b7930167ecccbe138bbfc7c6c7f44f9dd09107.zip | |
Combine common parts of lib*.h
Having different prototypes for different ports without a good reason is bad.
After unification, it's easier to have, for example, two ports at once.
Diffstat (limited to 'crawl-ref/source/menu.h')
| -rw-r--r-- | crawl-ref/source/menu.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/menu.h b/crawl-ref/source/menu.h index 95a9560074..87af32de80 100644 --- a/crawl-ref/source/menu.h +++ b/crawl-ref/source/menu.h @@ -9,6 +9,7 @@ #include <string> #include <vector> #include <algorithm> +#include <stdio.h> #include <time.h> #include "externs.h" #include "format.h" |