commit | f1a9625001e88240af5f51a298adee01715f2dd0 | [log] [tgz] |
---|---|---|
author | Paul Smith <psmith@gnu.org> | Sun Apr 10 17:22:57 2016 -0400 |
committer | Paul Smith <psmith@gnu.org> | Mon Apr 11 07:51:05 2016 -0400 |
tree | 5df0fc5b0762fa3171adc7c82a72438061173320 | |
parent | 047bd5a16f5ba39e778d3438777147e583e3f3b2 [diff] |
* dep.h, makeint.h (show_goal_error): Move to makeint.h.