From 761950bc3b72aba6029ea62be7480e73b09ed708 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 16 Nov 2016 14:23:55 -0800 Subject: [PATCH] chore(library/tactic/vm_monitor): remove "leftovers" --- src/library/tactic/vm_monitor.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/library/tactic/vm_monitor.cpp b/src/library/tactic/vm_monitor.cpp index fdbe97f51d..3e005cf747 100644 --- a/src/library/tactic/vm_monitor.cpp +++ b/src/library/tactic/vm_monitor.cpp @@ -272,8 +272,6 @@ static format default_format(vm_state const & vm, unsigned idx) { vm_local_info info = vm.get_info(idx); if (auto type = info.second) { try { - std::cout << info.first << " : " << *type << "\n>> "; - vm.display(std::cout, o); std::cout << "\n"; vm_state & curr_vm = get_vm_state(); type_context ctx(curr_vm.env()); level u = get_level(ctx, *type);