diff --git a/src/ir/display.rs b/src/ir/display.rs
index f377ef7..af3e24f 100644
--- a/src/ir/display.rs
+++ b/src/ir/display.rs
@@ -151,6 +151,10 @@ impl<'a> Display for FunctionBodyDisplay<'a> {
                     ValueDef::Alias(val) => {
                         writeln!(f, "{}    {} = {}", self.1, inst, val)?;
                     }
+                    ValueDef::Trace(id, args) => {
+                        let args = args.iter().map(|&v| format!("{}", v)).collect::<Vec<_>>();
+                        writeln!(f, "{}    trace {}, {}", self.1, id, args.join(", "))?;
+                    }
                     _ => unreachable!(),
                 }
             }