]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - play.c
Merge topic branch t/misc into pu
[paraslash.git] / play.c
diff --git a/play.c b/play.c
index 20c65ef89f8c342d9a9a8137f2bf00adc3ebb96f..b2ae521da0cff1db304ab73bc7a180feeace8706 100644 (file)
--- a/play.c
+++ b/play.c
@@ -580,8 +580,7 @@ static char *get_user_key_map_seq(int key)
        char *result;
        int len;
 
-       if (!p)
-               return NULL;
+       assert(p);
        len = p - kma;
        result = alloc(len + 1);
        memcpy(result, kma, len);