diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-07-20 19:31:42 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-07-20 19:31:42 -0700 |
| commit | 730961abe66e38d580fb9d321401f4cbaa9a5922 (patch) | |
| tree | 03346f29b8b0d2637c62ed460a105a382bac9783 /subx | |
| parent | aa2e2155beb965b3396c01861085ecfec8841ecc (diff) | |
| download | mu-730961abe66e38d580fb9d321401f4cbaa9a5922.tar.gz | |
4381
Fix CI.
Diffstat (limited to 'subx')
| -rw-r--r-- | subx/001help.cc | 3 | ||||
| -rw-r--r-- | subx/003trace.cc | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/subx/001help.cc b/subx/001help.cc index 58fc73ab..4a98a4b6 100644 --- a/subx/001help.cc +++ b/subx/001help.cc @@ -38,6 +38,9 @@ void help_contents() { :(before "End Globals") map<string, string> Help; +:(before "End Includes") +#include <map> +using std::map; :(before "End One-time Setup") init_help(); :(code) diff --git a/subx/003trace.cc b/subx/003trace.cc index 527854b8..d1c7ea17 100644 --- a/subx/003trace.cc +++ b/subx/003trace.cc @@ -369,8 +369,6 @@ string trim(const string& s) { using std::vector; #include <list> using std::list; -#include <map> -using std::map; #include <set> using std::set; #include <algorithm> |