Skip to content

Commit 61698ba

Browse files
authored
fix ToLCNF
1 parent f5e90b2 commit 61698ba

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Lean/Compiler/LCNF/ToLCNF.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -698,7 +698,7 @@ where
698698

699699
visitApp (e : Expr) : M Arg := do
700700
if let some (args, n, t, v, b) := e.letFunAppArgs? then
701-
visitCore <| mkAppN (.letE n t v b (nonDep := true)) args
701+
visitCore <| mkAppN (.letE n t v b (nondep := true)) args
702702
else if let .const declName us := CSimp.replaceConstants (← getEnv) e.getAppFn then
703703
if declName == ``Quot.lift then
704704
visitQuotLift e

0 commit comments

Comments
 (0)