1.1 --- a/test_all.sh Sun Nov 13 22:18:29 2016 +0100
1.2 +++ b/test_all.sh Tue Nov 15 00:00:21 2016 +0100
1.3 @@ -41,16 +41,6 @@
1.4 echo "$FILENAME..." 1>&2
1.5 if ! ./lplc "$FILENAME" -r ; then exit 1 ; fi
1.6
1.7 - # Check for unresolved names in the cache.
1.8 -
1.9 - echo " (depends)..." 1>&2
1.10 - if grep '<depends>' -r "_cache" && \
1.11 - ! expect_failure ; then
1.12 -
1.13 - echo "Unresolved names in the cache." 1>&2
1.14 - exit 1
1.15 - fi
1.16 -
1.17 # Check for type warnings in deduction output.
1.18
1.19 echo " (warnings)..." 1>&2