If you are using the standard kernel and want to continue to use HOL after the "BIG refactor" check-in (r8802), you will not only have to do a
bin/build cleanAll
but also
rm src/bool/SharingTables.{sig,sml}
in order to get your subsequent bin/build to work.
Experimental kernel users shouldn't be affected.
Michael
|