diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-14 21:37:24 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-14 21:37:24 -0700 |
commit | 5f60c00a9026eb382c064d76b50cc6ce756514fe (patch) | |
tree | 422a53c92489cdf341bc2c81336fbede597b5bfe /010vm.cc | |
parent | 094548498bfd351d2b2f7323e7757113654dbab1 (diff) | |
download | mu-5f60c00a9026eb382c064d76b50cc6ce756514fe.tar.gz |
1783 - stable if sluggish on caleb's 512MB server
Profiling shows the bulk of time is spent in read_memory, canonize, absolutize. But I'm not sure how to optimize those places.
Diffstat (limited to '010vm.cc')
-rw-r--r-- | 010vm.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/010vm.cc b/010vm.cc index 27224f03..f1fb2f17 100644 --- a/010vm.cc +++ b/010vm.cc @@ -270,7 +270,5 @@ void dump_memory() { } } :(before "End Includes") -#include <map> -using std::map; #include<utility> using std::pair; |