From 4fb970ad4e7d0558f7bf32dbad2333dbf3cb3ab4 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 23 Dec 2021 19:01:33 +0100 Subject: Fixes for yesterday's commit --- src/shell.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/shell.c') diff --git a/src/shell.c b/src/shell.c index 5fb18bc..6d2de94 100644 --- a/src/shell.c +++ b/src/shell.c @@ -97,6 +97,12 @@ launch(bool batchmode) int main(int argc, char *argv[]) { +/* + init_movesets(); + init_symcoord(); + print_ptable(&pd_nxopt31_HTM); +*/ + if (argc > 1) { if (!strcmp(argv[1], "-b")) { launch(true); -- cgit v1.3