diff --git a/src/library/compiler/vm_compiler.cpp b/src/library/compiler/vm_compiler.cpp
index 6ffc660f96..6fb373bb3b 100644
--- a/src/library/compiler/vm_compiler.cpp
+++ b/src/library/compiler/vm_compiler.cpp
@@ -389,10 +389,10 @@ static environment vm_compile(environment const & env, buffer<procedure> const &
         unsigned arity;
         std::tie(arity, args_info) = gen(p.m_code);
         lean_trace(name({"compiler", "code_gen"}), tout() << " " << p.m_name << " " << arity << "\n";
-                   display_vm_code(tout().get_stream(), new_env, code.size(), code.data()););
+                   display_vm_code(tout().get_stream(), code.size(), code.data()););
         optimize(new_env, code);
         lean_trace(name({"compiler", "optimize_bytecode"}), tout() << " " << p.m_name << " " << arity << "\n";
-                   display_vm_code(tout().get_stream(), new_env, code.size(), code.data()););
+                   display_vm_code(tout().get_stream(), code.size(), code.data()););
         new_env = update_vm_code(new_env, p.m_name, code.size(), code.data(), args_info, p.m_pos);
     }
     return new_env;
diff --git a/src/library/vm/vm.cpp b/src/library/vm/vm.cpp
index 65b0386f45..695d9b1164 100644
--- a/src/library/vm/vm.cpp
+++ b/src/library/vm/vm.cpp
@@ -3180,7 +3180,7 @@ void vm_state::profiler::snapshots::display(std::ostream & out) const {
     }
 }
 
-void display_vm_code(std::ostream & out, environment const & env, unsigned code_sz, vm_instr const * code) {
+void display_vm_code(std::ostream & out, unsigned code_sz, vm_instr const * code) {
     for (unsigned i = 0; i < code_sz; i++) {
         out << i << ": ";
         code[i].display(out);
diff --git a/src/library/vm/vm.h b/src/library/vm/vm.h
index 77b9746e8c..a435a3ba80 100644
--- a/src/library/vm/vm.h
+++ b/src/library/vm/vm.h
@@ -896,7 +896,7 @@ vm_obj invoke(vm_obj const & fn, unsigned nargs, vm_obj const * args);
 vm_obj invoke(unsigned fn_idx, unsigned nargs, vm_obj const * args);
 vm_obj invoke(unsigned fn_idx, vm_obj const & arg);
 
-void display_vm_code(std::ostream & out, environment const & env, unsigned code_sz, vm_instr const * code);
+void display_vm_code(std::ostream & out, unsigned code_sz, vm_instr const * code);
 
 environment vm_monitor_register(environment const & env, name const & d);