4428

Fix CI :(
2018-07-26 17:22:23 -07:00 · 2018-07-26 17:22:23 -07:00 · 0ed194fd81
parent a7291869f5
commit 0ed194fd81
1 changed files with 2 additions and 0 deletions
--- a/010vm.cc
+++ b/010vm.cc
@ -893,6 +893,8 @@ void test_trim_floating_point() {
 }

 :(before "End Includes")
+#include <map>
+using std::map;
 #include <utility>
 using std::pair;
 #include <math.h>