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

(* folding should not allow circular dependencies *)

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