add FILE* output

This commit is contained in:
2023-07-01 20:56:26 +02:00
parent fe5b21aad9
commit aa7cb11056
6 changed files with 40 additions and 23 deletions

View File

@@ -179,7 +179,7 @@ int main(int ac, char**av)
{
pos_t *pos;
debug_init(5);
debug_init(5, stderr);
piece_pool_init();
pos_pool_init();
pos = pos_get();