aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/1898.v
blob: 70461286ce2a8209ff6b0378e137e352c7b0e2a7 (plain)
1
2
3
4
5
6
(* folding should not allow circular dependencies *)

Lemma bug_fold_unfold : True.
  set (h := 1).
  Fail fold h in h.
  Abort.