From 1dcc21525a6ac8443ceffbe4ea5443e79239e06b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 4 Nov 2016 09:55:20 -0700
Subject: [PATCH] chore(library/vm/vm): style

---
 src/library/vm/vm.cpp |  2 +-
 src/library/vm/vm.h   | 14 +++++++-------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/library/vm/vm.cpp b/src/library/vm/vm.cpp
index b4744865a2..ad0be412cf 100644
--- a/src/library/vm/vm.cpp
+++ b/src/library/vm/vm.cpp
@@ -2339,7 +2339,7 @@ auto vm_state::profiler::get_snapshots() -> snapshots {
 
     for (auto & cum_time_entry : cum_times) r.m_cum_times.push_back(cum_time_entry);
     std::sort(r.m_cum_times.begin(), r.m_cum_times.end(),
-              [] (std::pair<name, chrono::milliseconds> & a, std::pair<name, chrono::milliseconds> & b) {
+              [] (pair<name, chrono::milliseconds> & a, pair<name, chrono::milliseconds> & b) {
                   return b.second < a.second; });
 
     return r;
diff --git a/src/library/vm/vm.h b/src/library/vm/vm.h
index 4354fb13af..c96a4070da 100644
--- a/src/library/vm/vm.h
+++ b/src/library/vm/vm.h
@@ -624,8 +624,8 @@ public:
     class profiler {
         typedef std::unique_ptr<interruptible_thread> thread_ptr;
         struct snapshot_core {
-            chrono::milliseconds                       m_duration;
-            std::vector<std::pair<unsigned, unsigned>> m_stack;
+            chrono::milliseconds                  m_duration;
+            std::vector<pair<unsigned, unsigned>> m_stack;
         };
         vm_state &                 m_state;
         atomic<bool>               m_stop;
@@ -638,14 +638,14 @@ public:
         ~profiler();
 
         struct snapshot {
-            chrono::milliseconds                   m_duration;
-            std::vector<std::pair<name, unsigned>> m_stack;
+            chrono::milliseconds              m_duration;
+            std::vector<pair<name, unsigned>> m_stack;
         };
 
         struct snapshots {
-            std::vector<snapshot>                              m_snapshots;
-            std::vector<std::pair<name, chrono::milliseconds>> m_cum_times;
-            chrono::milliseconds                               m_total_time;
+            std::vector<snapshot>                         m_snapshots;
+            std::vector<pair<name, chrono::milliseconds>> m_cum_times;
+            chrono::milliseconds                          m_total_time;
             void display(std::ostream & out) const;
         };
         bool enabled() const { return m_thread_ptr.get() != nullptr; }