-
dimitris authored
make it fail sooner when we run the testsuite. Due to modifications in rewriting we run out or context stack more slowly than before. Perhaps something to come back to at some point.
ae3b9f91
make it fail sooner when we run the testsuite. Due to modifications in rewriting we run out or context stack more slowly than before. Perhaps something to come back to at some point.