Change unknown mintrap result into impossible

2022-02-25 14:57:03 +02:00
parent 3b521aa955
commit f44a4b0485
1 changed files with 1 additions and 1 deletions
@@ -2213,7 +2213,7 @@ domove_core(void)
                }
                break;
            default:
-                pline("that's strange, unknown mintrap result!");
+                impossible("that's strange, unknown mintrap result!");
                break;
            }
        }