chore: isNatLit => isRawNatLit

opencompl · Feb 23, 2024 · 3ead33b · 3ead33b
1 parent 51fe66b
commit 3ead33b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Lean/Meta/LazyDiscrTree.lean b/src/Lean/Meta/LazyDiscrTree.lean
@@ -98,7 +98,7 @@ private partial def pushArgsAux (infos : Array ParamInfo) : Nat → Expr → Arr
   - `Nat.succ x` where `isNumeral x`
   - `OfNat.ofNat _ x _` where `isNumeral x` -/
 private partial def isNumeral (e : Expr) : Bool :=
-  if e.isNatLit then true
+  if e.isRawNatLit then true
   else
     let f := e.getAppFn
     if !f.isConst then false