diff options
author | John Hodge <tpg@mutabah.net> | 2019-10-26 16:09:24 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2019-10-26 16:09:24 +0800 |
commit | 9ce35b65e5be4ce75b3b7aabe29c432128a17279 (patch) | |
tree | 069581e21b424a24c92b1f87e7d00f3af006366d /tools/standalone_miri/mir.cpp | |
parent | abd2a151b9107221e753c5b2fe09a143d09ad1f5 (diff) | |
download | mrust-9ce35b65e5be4ce75b3b7aabe29c432128a17279.tar.gz |
All - Compilation fixes on VS2015 (constructors, warnings, missing files, class/struct disagreement, <algorithm>)
Diffstat (limited to 'tools/standalone_miri/mir.cpp')
-rw-r--r-- | tools/standalone_miri/mir.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/standalone_miri/mir.cpp b/tools/standalone_miri/mir.cpp index 4a5df067..bc456ca6 100644 --- a/tools/standalone_miri/mir.cpp +++ b/tools/standalone_miri/mir.cpp @@ -9,6 +9,7 @@ #include "../../src/mir/mir.hpp" #include "hir_sim.hpp" #include <iostream> +#include <algorithm> // std::min #if 0 namespace std { |