Add cloneVar function to clone a Var.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 11:37:04 +0000 (13:37 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 11:37:04 +0000 (13:37 +0200)
commit7a315b7e40f3cb5e4e705c87953a89b2e858b325
treef0f16cbeb8ca6233292079515a0a5fc2bfcf1c12
parentce21f6b5bc31049d9f663bab7c0f7984ccec5875
Add cloneVar function to clone a Var.
NormalizeTools.hs