De-noise verify_space() and fix a bug therein.
[sbcl.git] / src / 
treeb78f36cce528138736a2b501f324b764f8c36c3a
drwxr-xr-x   ..
drwxr-xr-x - assembly
drwxr-xr-x - code
drwxr-xr-x - cold
drwxr-xr-x - compiler
drwxr-xr-x - interpreter
drwxr-xr-x - pcl
drwxr-xr-x - runtime