Split substitute into substitute and substitute_clone.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 15:14:50 +0000 (17:14 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 15:14:50 +0000 (17:14 +0200)
Since cloning is not needed (nor possible) for type substitutions, this
makes things a bit more clear and elegant.


No differences found