diff --git a/src/base/Proof.ml b/src/base/Proof.ml
index 2fb04a6f..bd7011a3 100644
--- a/src/base/Proof.ml
+++ b/src/base/Proof.ml
@@ -191,6 +191,7 @@ let rec emit_term_ (self:t) (t:Term.t) : term_id =
     in
 
     let id = alloc_id self in
+    Term.Tbl.add self.map_term t id;
     emit_step_ self {id; view};
     id