From a871192c5e89cf5646b75c7e9317f1a2a9b4cfba Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 21 Oct 2021 20:53:06 -0400
Subject: [PATCH] fix bug in proof emission

---
 src/base/Proof.ml | 1 +
 1 file changed, 1 insertion(+)

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