fix calculation of free vars

LeventErkok · Dec 3, 2024 · e0d7480 · e0d7480
1 parent 94b7c42
commit e0d7480
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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