commit f536ff8b6ab00a78e4f644d279675528530f416f
parent 22e1b88675c8d9b3186b24625f981df72b620396
Author: olikru <olikru@tkruger.se>
Date: Tue, 16 Apr 2024 14:39:02 +0200
cleanup
Diffstat:
2 files changed, 0 insertions(+), 35 deletions(-)
diff --git a/tools/dbtool.c b/tools/dbtool.c
@@ -84,8 +84,6 @@ create_tables(sqlite3 *db)
errx(EXIT_FAILURE, "finalize prepared statement error: %s\n",
sqlite3_errmsg(db));
}
-
-
}
static enum command
diff --git a/tools/hnpsolve.c b/tools/hnpsolve.c
@@ -6,39 +6,6 @@
#include <fmpzio.h>
-/*
-#define LINE_SIZE_MAX 4096
-
-static int
-read_next_fmpz(fmpz_t res)
-{
- char buffer[LINE_SIZE_MAX];
- size_t i;
-
- int next_char = getchar();
- while (next_char == '\n' || next_char == ' ')
- next_char = getchar();
-
- if (next_char == EOF)
- return -1;
-
- buffer[0] = next_char;
- i = 1;
- while (i < LINE_SIZE_MAX - 1) {
- next_char = getchar();
- if (next_char == EOF || next_char == '\n' || next_char == ' ')
- break;
-
- buffer[i] = (char)next_char;
-
- i++;
- }
- buffer[i] = '\0';
-
- return fmpz_set_str(res, buffer, 10);
-}
-*/
-
static int
read_stdin_instance(fmpz **a, fmpz **t, slong *m, fmpz_t *B, fmpz_t *n)
{