diff --git a/src/SAWScript/MGU.hs b/src/SAWScript/MGU.hs
index a9be981e8..918938eb8 100644
--- a/src/SAWScript/MGU.hs
+++ b/src/SAWScript/MGU.hs
@@ -904,11 +904,11 @@ inspectLambdaFTVs e0 = case e0 of
 
 -- Get the free type variables found in a Decl.
 inspectDeclFTVs :: Decl -> TI (Map Name Pos)
-inspectDeclFTVs (Decl dpos pat _mty e0) = do
+inspectDeclFTVs (Decl _dpos pat _mty e0) = do
     nameFTVs <- inspectPatternFTVs pat
     (e1, argFTVs) <- inspectLambdaFTVs e0
     retFTVs <- case e1 of
-        TSig _tspos e1 ty -> inspectTypeFTVs ty
+        TSig _tspos _e2 ty -> inspectTypeFTVs ty
         _ -> return M.empty
     return $ M.unions [nameFTVs, argFTVs, retFTVs]