From edbbfd40714ba9adfd770b9ccb6a0eecdc43a736 Mon Sep 17 00:00:00 2001 From: Paul Duncan Date: Tue, 15 Jan 2019 20:53:07 -0500 Subject: fix warnings --- src/solve/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/solve') diff --git a/src/solve/main.c b/src/solve/main.c index 82b3031..140cfc5 100644 --- a/src/solve/main.c +++ b/src/solve/main.c @@ -31,7 +31,7 @@ int main(int argc, char *argv[]) { // solve level if (!sok_solve(&ctx, solve_on_error)) { - die("Couldn't solve level"); + die("Couldn't solve level: %d", (int) level_num); } } -- cgit v1.2.3