Remove the getInstantiations function.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 2 Feb 2009 11:07:41 +0000 (12:07 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 2 Feb 2009 11:07:41 +0000 (12:07 +0100)
commitcd5b8d1205f3ef1aacd95b332c5e450121c01d5a
treebe1da7426bc1961ee2ce09d8861e2634d92fee5f
parenta628d8d874df6af54c6d4f766012bac117eea037
Remove the getInstantiations function.

It was no longer used and replaced by expandExpr.
Translator.hs