From 14b63fccc217396ffd61c8eaa0640ad3ae3d3917 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 20 Apr 2024 14:10:18 -0700
Subject: [PATCH] Revert "Reduce gas for proof search"

This reverts commit 6a952f8a15bf029217c664cdfd3b5810f1a0c11f.
---
 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 12a7f5d..d2cb507 100644
--- a/src/Bergamot/Rules.elm
+++ b/src/Bergamot/Rules.elm
@@ -226,6 +226,6 @@ prove mt =
 
 single : RuleEnv -> Prover a -> Maybe a
 single env p =
-    p env { instantiationState = emptyInstantiationState, unificationState = emptyUnificationState, gas = 15 }
+    p env { instantiationState = emptyInstantiationState, unificationState = emptyUnificationState, gas = 30 }
     |> Search.one
     |> Maybe.map (Tuple.first << Tuple.first)