Commit db892350447a6ffd83d22bedfe056ab1a90da547 Parent 2bb51691fa389ead76f6531a677397f6c24f75f5 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 11 Jul 2015 08:46:42 -0700 Removed dependence on debug.h. (It uses GNU extensions, and we don't need it anyway.)