Skip to content

Commit

Permalink
Fix.
Browse files Browse the repository at this point in the history
  • Loading branch information
thealmarty committed Mar 21, 2023
1 parent d103f17 commit b616325
Showing 1 changed file with 1 addition and 1 deletion.
Expand Up @@ -200,4 +200,4 @@ inlineSat appOrTyInstTm =
pure $ mkApps (calledVarDef varInfo) args
else pure tm
-- if the term being applied is not a `Var`, don't inline
v -> pure v
v -> pure tm

0 comments on commit b616325

Please sign in to comment.