path: root/test-suite/bugs/closed/1898.v

(* folding should not allow circular dependencies *)

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