use nxopt31 (compressed) by default for optimal solving

1 files changed, 0 insertions, 6 deletions

diff --git a/src/shell.c b/src/shell.c
index 6d2de94..5fb18bc 100644
--- a/src/shell.c
+++ b/src/shell.c
@@ -97,12 +97,6 @@ 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);