fix: test

aya-prover · Jan 20, 2025 · bbf7086 · bbf7086
1 parent 330ff17
commit bbf7086
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/base/src/main/java/org/aya/resolve/salt/Desalt.java b/base/src/main/java/org/aya/resolve/salt/Desalt.java
@@ -87,9 +87,9 @@ public final class Desalt implements PosedUnaryOperator<Expr> {
             if (pat.term().data() instanceof Pattern.BindLike bindLike) {
               var bind = bindLike.toLocalVar(pat.term().sourcePos());
               // we need fresh bind, since [bind] may be used in the body.
-              return LocalVar.generate(bind.name(), bind.definition());
+              return LocalVar.generate(bind.name(), SourcePos.NONE);
             } else {
-              return LocalVar.generate("IrrefutableLam" + idx, pat.term().sourcePos());
+              return LocalVar.generate("IrrefutableLam" + idx, SourcePos.NONE);
             }
           });