From 0ed194fd81542731e63d714e021a3ef7470526d5 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Thu, 26 Jul 2018 17:22:23 -0700
Subject: 4428

Fix CI :(
---
 010vm.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to '010vm.cc')

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>
-- 
cgit 1.4.1-2-gfad0