tree 5df0fc5b0762fa3171adc7c82a72438061173320
parent 047bd5a16f5ba39e778d3438777147e583e3f3b2
author Paul Smith <psmith@gnu.org> 1460323377 -0400
committer Paul Smith <psmith@gnu.org> 1460375465 -0400

* dep.h, makeint.h (show_goal_error): Move to makeint.h.