Fix the name of log

Accidentally published with wrong name.
1 file changed
tree: b31082f07f339437b1a69a2d0b6f981aa5d0f13c
  1. auxiliary/
  2. math/
  3. test/
  4. .gitignore
  5. config.mk.dist
  6. LICENSE
  7. Makefile
  8. README