#
ff372764 |
|
01-Jun-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Make a couple of selftests clean up a bit better 1. in src/1 it generates a scratchTheory, but did not remove the .dat file 2. in tools/Holmake/tests/coproduct it does not clean testdir2 before starting, allowing for stale/unhelpful Moscow ML dependency info to linger there.
|