diff options
| author | Paul Duncan <pabs@pablotron.org> | 2019-01-15 20:53:07 -0500 |
|---|---|---|
| committer | Paul Duncan <pabs@pablotron.org> | 2019-01-15 20:53:07 -0500 |
| commit | edbbfd40714ba9adfd770b9ccb6a0eecdc43a736 (patch) | |
| tree | a078ac125a8355489083baa458738c3336c30910 /src/solve | |
| parent | d43d705f4d0dceb503ee04a972929a9f61c85658 (diff) | |
| download | sok-edbbfd40714ba9adfd770b9ccb6a0eecdc43a736.tar.bz2 sok-edbbfd40714ba9adfd770b9ccb6a0eecdc43a736.zip | |
fix warnings
Diffstat (limited to 'src/solve')
| -rw-r--r-- | src/solve/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
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); } } |