test-suite/bugs/closed/7700.v


1
2
3
4
5
6
7
8
9

(* Abbreviations to section variables were not located *)
Section foo.
  Let x := Set.
  Notation y := x.
  Check y.
  Variable x' : Set.
  Notation y' := x'.
  Check y'.
End foo.