path: root/test-suite/coqwc/BZ5756.v

Definition myNextValue := 0. (* OK *)
Definition x := myNextValue. (* not OK *)
Definition y := 0.