4428

Fix CI :(
akkartik · Jul 27, 2018 · 0ed194f · 0ed194f
1 parent a729186
commit 0ed194f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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>