From 90120932a7ea403eae198e8e07356cd5ad971331 Mon Sep 17 00:00:00 2001 From: Rajan Walia Date: Mon, 5 Aug 2019 16:28:33 -0700 Subject: [PATCH] fix for freevars of sequential where --- src/Cryptol/IR/FreeVars.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/Cryptol/IR/FreeVars.hs b/src/Cryptol/IR/FreeVars.hs index 967dbeca..04e4afa5 100644 --- a/src/Cryptol/IR/FreeVars.hs +++ b/src/Cryptol/IR/FreeVars.hs @@ -118,7 +118,7 @@ instance FreeVars Expr where EAbs x t e -> freeVars t <> rmVal x (freeVars e) EProofAbs p e -> freeVars p <> freeVars e EProofApp e -> freeVars e - EWhere e ds -> freeVars ds <> rmVals (defs ds) (freeVars e) + EWhere e ds -> rmVals (defs ds) (freeVars ds) <> rmVals (defs ds) (freeVars e) instance FreeVars Match where @@ -178,6 +178,3 @@ instance Defs Match where defs m = case m of From x _ _ _ -> Set.singleton x Let d -> defs d - - -