debugUnifyBottomAndReturnBottom: remove duplicate call to TermLike.mapVariables (#2771)

emarzion · web-flow · commit d3b7bd2f6e53 · 2021-07-28T02:10:20.000-06:00
diff --git 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
