From 1e12dc80328832b00c0dda93b51c487a159063ed Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Fri, 1 Dec 2023 16:35:22 -0800
Subject: [PATCH] Ensure metavariables aren't re-used in rules and queries

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

diff --git a/src/Bergamot/Rules.elm b/src/Bergamot/Rules.elm
index ef9d541..a9d5a90 100644
--- a/src/Bergamot/Rules.elm
+++ b/src/Bergamot/Rules.elm
@@ -152,7 +152,7 @@ proveTerm t =
 
 prove : Term Metavariable -> Prover ProofTree
 prove mt =
-    liftInstantiation instantiate mt
+    withVars (liftInstantiation instantiate mt)
     |> andThen proveTerm
 
 single : RuleEnv -> Prover a -> Maybe a