remove a debug message that snuck into the commit

diff --git a/src/interpreter/stepper.rs b/src/interpreter/stepper.rs
index 0543b40c8f5c35e81028e336b0cd0028c511cfd8..e341a9efd8a4be777b88bbb7109f8b1d588708e7 100644 (file)
--- a/src/interpreter/stepper.rs
+++ b/src/interpreter/stepper.rs
@@ -115,7 +115,6 @@ pub fn step(&mut self) -> EvalResult<Event> {
                 self.fncx.frame_mut().promoted.insert(index, return_ptr);
                 let substs = self.fncx.substs();
                 // FIXME: somehow encode that this is a promoted constant's frame
-                println!("{}, {}, {}", self.fncx.stack.len(), self.fncx.name_stack.len(), self.fncx.substs_stack.len());
                 let def_id = self.fncx.name_stack.last().unwrap().0;
                 self.fncx.name_stack.push((def_id, substs, span));
                 self.fncx.push_stack_frame(CachedMir::Owned(Rc::new(mir)), substs, Some(return_ptr));