diff --git a/src/protocol/ast_printer.rs b/src/protocol/ast_printer.rs
index e85620bd2d8bf499dc08b014c255c736bcccc044..95a47ea43f4b4996e1fdb4e701237dd1cd475b49 100644
--- a/src/protocol/ast_printer.rs
+++ b/src/protocol/ast_printer.rs
@@ -549,7 +549,6 @@ impl ASTWriter {
         let expr = &heap[expr_id];
         let indent2 = indent + 1;
         let indent3 = indent2 + 1;
-        let def_id = self.cur_definition.unwrap();
 
         match expr {
             Expression::Assignment(expr) => {