Skip to content

Relax lookahead test for ltac2 { foo with ... } to allow qualids #2354

Relax lookahead test for ltac2 { foo with ... } to allow qualids

Relax lookahead test for ltac2 { foo with ... } to allow qualids #2354