max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(build): attempt to fix linux buildbots

Browse source
This commit is contained in:
Nuno Lopes 2018-01-28 15:18:55 +00:00 • committed by Leonardo de Moura
parent b984079449
commit 46cfd33a1b
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/library/vm/vm_io.cpp
View file

@ -15,6 +15,9 @@ Author: Leonardo de Moura
#else
#include <unistd.h>
#endif
#ifdef __linux__
#include <linux/limits.h>
#endif
#include <util/unit.h>
#include "util/sstream.h"
#include "library/handle.h"