Some minor changes to the interface.

- Simplified logger to accept only a string, not a variadic list
  of args like printf(). This can still use some improvement,
  but now it is easier to use from other languages.
- Fixed some misuses of the logger (wrong types etc)
- Renamed some constants
- Fixed some typos in comments.

1 files changed, 1 insertions, 1 deletions

diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c
index 8bc308c..5b3db2c 100644
--- a/tools/100_checkdata/checkdata.c
+++ b/tools/100_checkdata/checkdata.c
@@ -6,7 +6,7 @@ char *solver, *filename;
 static void
 run(void) {
         long long int size, result;
-        char *buf, dataid[NISSY_DATAID_SIZE];
+        char *buf, dataid[NISSY_SIZE_DATAID];
         FILE *f;
         
         size = nissy_solverinfo(solver, dataid);