BZ5756.v « coqwc « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

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

blob: ccb12076a31ed1429821f2e78168aa5cb8e9c0d7 (plain)

1
2
3

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