Relax lookahead test for ltac2 { foo with ... } to allow qualids
#4000
| Job | Run time |
|---|---|
| 4s | |
| 4s |
{ foo with ... } to allow qualids
#4000
| Job | Run time |
|---|---|
| 4s | |
| 4s |