Use highordtest in main, since that can now be normalized.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 13:27:28 +0000 (15:27 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 13:27:28 +0000 (15:27 +0200)

No differences found