SideCondition.toRepresentation: remove mapVariables (#2510)

ana-pantilie · web-flow · commit ec02c41d2ff5 · 2021-03-29T14:47:31.000-05:00
diff --git a/kore/src/Kore/Internal/SideCondition.hs b/kore/src/Kore/Internal/SideCondition.hs
@@ -384,9 +384,7 @@ toRepresentation ::
     InternalVariable variable =>
     SideCondition variable ->
     SideCondition.Representation
-toRepresentation =
-    mkRepresentation
-        . mapVariables @_ @VariableName (pure toVariableName)
+toRepresentation = mkRepresentation
 
 -- | Looks up the term in the table of replacements.
 replaceTerm ::
