From e0d748000ac1618e2a1ba617e97ceb0dd745fa71 Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Tue, 3 Dec 2024 12:09:46 -0800
Subject: [PATCH] fix calculation of free vars

---
 Data/SBV/Lambda.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Data/SBV/Lambda.hs b/Data/SBV/Lambda.hs
index ecc95b3d..21276664 100644
--- a/Data/SBV/Lambda.hs
+++ b/Data/SBV/Lambda.hs
@@ -295,7 +295,7 @@ toLambda level curProgInfo cfg expectedKind result@Result{resAsgns = SBVPgm asgn
                                                   ]
                           ResultLamInps xs -> map (\(q, v) -> (q, getSV v)) xs
 
-               frees = map show $ nub $ allUses \\ allDefs
+               frees = map show $ nub allUses \\ nub allDefs
                  where (defs, uses) = unzip [(d, u) | (d, SBVApp _ u) <- F.toList asgnsSeq]
                        allDefs      = defs ++ map snd params ++ map fst constants
                        allUses      = concat uses