From e017828b39e80ea022fb6cc52c7e55dec9bac429 Mon Sep 17 00:00:00 2001
From: emarzion <emarzion@gmail.com>
Date: Tue, 27 Jul 2021 19:11:30 -0500
Subject: [PATCH] Changing debugUnifyBottomAndReturnBottom so that mapVariables
 is longer called twice.

---
 kore/src/Kore/Log/DebugUnifyBottom.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kore/src/Kore/Log/DebugUnifyBottom.hs b/kore/src/Kore/Log/DebugUnifyBottom.hs
index 00c84face2..b575483a98 100644
--- a/kore/src/Kore/Log/DebugUnifyBottom.hs
+++ b/kore/src/Kore/Log/DebugUnifyBottom.hs
@@ -93,6 +93,6 @@ debugUnifyBottomAndReturnBottom ::
 debugUnifyBottomAndReturnBottom info first second = do
     debugUnifyBottom
         info
-        (TermLike.mapVariables (pure $ from @_ @VariableName) first)
-        (TermLike.mapVariables (pure $ from @_ @VariableName) second)
+        first
+        second
     empty