chiark / gitweb /
Fix a valgrind warning in the Keen DIFF_HARD solver code.