Revert "Merge remote-tracking branch 'origin/parallel-rascal' into dev"
This reverts commit d01d96244ee218a12cbf3892495d31804565b975, reversing changes made to 382da106cafafb435445a8918ea0271c150a68f8.
Authored by: Jurgen J. Vinju 2014-12-04
Parent(s): [cbe420]
Child(ren): [00a7fe]