From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Thu, 18 Jun 2009 13:27:28 +0000 (+0200)
Subject: Use highordtest in main, since that can now be normalized.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=3fb6a3a819f85d89853660347b42f6085d20fb57;hp=3fb6a3a819f85d89853660347b42f6085d20fb57;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Use highordtest in main, since that can now be normalized.
---