diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-07-26 17:22:23 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-07-26 17:22:23 -0700 |
commit | 0ed194fd81542731e63d714e021a3ef7470526d5 (patch) | |
tree | 892cd301a33ebfef9f980666e80116da5e407780 | |
parent | a7291869f5174076b8d4ee0f352d0d734bd66774 (diff) | |
download | mu-0ed194fd81542731e63d714e021a3ef7470526d5.tar.gz |
4428
Fix CI :(
-rw-r--r-- | 010vm.cc | 2 |
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> |