small bugfix for lambdalifting; preparations for a better testing framework

This commit is contained in:
Araq 2013-01-19 02:09:08 +01:00
commit 9257c29ffd
5 changed files with 82 additions and 42 deletions

View file

@ -1,7 +1,7 @@
#
#
# Nimrod Tester
# (c) Copyright 2012 Andreas Rumpf
# (c) Copyright 2013 Andreas Rumpf
#
# See the file "copying.txt", included in this
# distribution, for details about the copyright.