diff options
Diffstat (limited to 'src/global.cc')
| -rw-r--r-- | src/global.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/global.cc b/src/global.cc index 509ceb5e..3b491c0e 100644 --- a/src/global.cc +++ b/src/global.cc @@ -29,6 +29,8 @@ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ +#include <system.hh> + #include "global.h" #if defined(HAVE_BOOST_PYTHON) #include "pyinterp.h" |