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

Local Obligation Tactic := idtac.
Definition a := 1.
Definition b := 1.
Definition c := 1.
Definition d := 1.