diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs
index b42f913b3..a3fc132fc 100644
--- a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs
+++ b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs
@@ -279,7 +279,7 @@ toLMapV' :: (F.Located LHName, ([Symbol], F.ExprV v)) -> (F.Located LHName, LMap
 toLMapV' (x, (ys, e)) = (x, LMapV {lmVar = fmap getLHNameSymbol x, lmArgs = ys, lmExpr = e})
 
 toLMapV :: (F.LocSymbol, ([Symbol], F.ExprV v)) -> (Symbol, LMapV v)
-toLMapV (x, (ys, e)) = (F.val $ x, LMapV {lmVar = x, lmArgs = ys, lmExpr = e})
+toLMapV (x, (ys, e)) = (F.val x, LMapV {lmVar = x, lmArgs = ys, lmExpr = e})
 
 toLogicMap :: [(F.LocSymbol, ([Symbol], Expr))] -> LogicMap
 toLogicMap ls = mempty {lmSymDefs = M.fromList $ map toLMapV ls}