From 730961abe66e38d580fb9d321401f4cbaa9a5922 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Fri, 20 Jul 2018 19:31:42 -0700
Subject: 4381

Fix CI.
---
 subx/001help.cc  | 3 +++
 subx/003trace.cc | 2 --
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'subx')

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