diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-07-26 17:00:14 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-07-26 17:00:37 -0700 |
commit | a7291869f5174076b8d4ee0f352d0d734bd66774 (patch) | |
tree | bef98c313b4d28b0e298ddef46dc8ed3e9992e0c /003trace.cc | |
parent | 87fe3d7a9e5ae9503ee89a3d69f8b84a88ad24de (diff) | |
download | mu-a7291869f5174076b8d4ee0f352d0d734bd66774.tar.gz |
4427 - support for '--trace' argv
This ports commit 4421 to the subx/ program.
Diffstat (limited to '003trace.cc')
-rw-r--r-- | 003trace.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/003trace.cc b/003trace.cc index c6a05d3c..f0939e1c 100644 --- a/003trace.cc +++ b/003trace.cc @@ -406,8 +406,6 @@ string trim(const string& s) { using std::vector; #include <list> using std::list; -#include <map> -using std::map; #include <set> using std::set; |