From 1e1fd628207034b0412c50e289f146d34c5baf71 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Fri, 14 Mar 2025 16:18:29 +0100
Subject: Replaced datasize with solverinfo

---
 tools/300_solve_small/solve_small.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools/300_solve_small')

diff --git a/tools/300_solve_small/solve_small.c b/tools/300_solve_small/solve_small.c
index 073de89..6a1f7b5 100644
--- a/tools/300_solve_small/solve_small.c
+++ b/tools/300_solve_small/solve_small.c
@@ -46,7 +46,7 @@ void run(void) {
 }
 
 int main(int argc, char **argv) {
-	char filename[255];
+	char filename[255], dataid[NISSY_DATAID_SIZE];
 
 	if (argc < 2) {
 		printf("Error: not enough arguments. "
@@ -63,7 +63,7 @@ int main(int argc, char **argv) {
 	if (getdata(solver, &buf, filename) != 0)
 		return 1;
 
-	size = nissy_datasize(solver);
+	size = nissy_solverinfo(solver, dataid);
 
 	timerun(run);
 
-- 
cgit v1.3