Implement expandArgs in terms of expandExpr.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 29 Jan 2009 15:32:09 +0000 (16:32 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 29 Jan 2009 15:32:09 +0000 (16:32 +0100)
This makes expandArgs a lot more general.


No differences found