From de8ba72a8650899641a735d22d686c122d1efb16 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 6 Jan 2017 19:22:07 -0800
Subject: [PATCH] feat(library/vm/vm): suppress snapshots when printing
 profiling information

---
 src/library/vm/vm.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/library/vm/vm.cpp b/src/library/vm/vm.cpp
index 63c09bd81d..c1729da287 100644
--- a/src/library/vm/vm.cpp
+++ b/src/library/vm/vm.cpp
@@ -3160,7 +3160,7 @@ void vm_state::profiler::snapshots::display(std::ostream & out) const {
             << (100.0f * cum_time.second.count()) / m_total_time.count() << "%   "
             << cum_time.first << "\n";
     }
-
+#if 0
     unsigned i = 0;
     while (i < m_snapshots.size()) {
         snapshot const & s = m_snapshots[i];
@@ -3178,6 +3178,7 @@ void vm_state::profiler::snapshots::display(std::ostream & out) const {
         }
         out << "\n";
     }
+#endif
 }
 
 void display_vm_code(std::ostream & out, unsigned code_sz, vm_instr const * code) {