diff options
Diffstat (limited to 'src/py_times.cc')
| -rw-r--r-- | src/py_times.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/py_times.cc b/src/py_times.cc index 45e7391d..4d6519ed 100644 --- a/src/py_times.cc +++ b/src/py_times.cc @@ -29,6 +29,8 @@ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ +#include <system.hh> + #include "pyinterp.h" #include "pyutils.h" |