Add regression test for fix 3eb1f31 (#1320)

This commit is contained in:
Leedehai 2023-05-29 14:14:31 -04:00 committed by GitHub
parent 6db4c39cd9
commit 31dfe32242
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -87,3 +87,7 @@ $ lim_(n->oo \ n "grows") sum_(k=0 \ k in NN)^n k $
$ limits(A)_1^2 != A_1^2 $
$ scripts(sum)_1^2 != sum_1^2 $
$ limits(integral)_a^b != integral_a^b $
---
// Error: 30-34 unknown variable: oops
$ attach(A, t: #locate(it => oops)) $