about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-07-26 17:22:23 -0700
committerKartik Agaram <vc@akkartik.com>2018-07-26 17:22:23 -0700
commit0ed194fd81542731e63d714e021a3ef7470526d5 (patch)
tree892cd301a33ebfef9f980666e80116da5e407780
parenta7291869f5174076b8d4ee0f352d0d734bd66774 (diff)
downloadmu-0ed194fd81542731e63d714e021a3ef7470526d5.tar.gz
4428
Fix CI :(
-rw-r--r--010vm.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/010vm.cc b/010vm.cc
index 9dc6e911..42b867fc 100644
--- 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>