patch ddc-head: ddci-core: add broken variable capture test with witness substitution

[Ben Lippmeier]

Mon Feb  6 07:51:16 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddci-core: add broken variable capture test with witness substitution

    M ./packages/ddc-core/DDC/Core/Transform/SubstituteT.hs -1 +2
    M ./test/ddci-core/50-Transform/20-Beta/Test.dcx -6 +25
    M ./test/ddci-core/50-Transform/20-Beta/Test.stdout.check -3 +22

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe