From aa7fd44a6d5305986bee3f0f796e00771a3377d9 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Fri, 22 Dec 2023 14:39:52 -0800
Subject: [PATCH] Slightly tweak code for proving a term

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 src/Bergamot/Rules.elm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Bergamot/Rules.elm b/src/Bergamot/Rules.elm
index 70486ac..7bd971e 100644
--- a/src/Bergamot/Rules.elm
+++ b/src/Bergamot/Rules.elm
@@ -169,7 +169,8 @@ provePremises = mapM proveTerm
 
 proveTerm : Term UnificationVar -> Prover ProofTree
 proveTerm t =
-    map (reify t) getUnificationState
+    getUnificationState
+    |> map (\us -> reify t us)
     |> andThen (\tp ->
         burn (
             getRules