test-suite/bugs/closed/2810.v


1
2
3
4
5
6
7
8
9
10

Section foo.
  Variable A : Type.
  Let B := A.

  Hint Unfold B.

  Goal False.
    clear B. autounfold with core.
  Abort.
End foo.