MERGE: #76

76: Fix a typo in fixture r=ice1000 a=ice1000 Closes #75 Answers #75 Thanks to `@nobodxbodon` Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>
aya-prover · Oct 9, 2021 · 4e548f1 · 4e548f1
2 parents 7ebffe3 + 29aaf92
commit 4e548f1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/base/src/test/resources/failure/scope/unknown-var.aya b/base/src/test/resources/failure/scope/unknown-var.aya
@@ -1,2 +1,2 @@
-def Nat : Type | zero
+open data Nat : Type | zero
 def p => Nat::suc Nat::zero
diff --git a/base/src/test/resources/failure/scope/unknown-var.aya.txt b/base/src/test/resources/failure/scope/unknown-var.aya.txt
@@ -1,6 +1,6 @@
 In file $FILE:2:9 ->
 
-  1 | def Nat : Type | zero
+  1 | open data Nat : Type | zero
   2 | def p => Nat::suc Nat::zero
                ^------^