Fixes for yesterday's commit

1 files changed, 6 insertions, 0 deletions

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);