diff -r 38ae05d46f9a -r 39fd327f81da dav/main.c
--- a/dav/main.c	Sun Apr 29 11:48:12 2018 +0200
+++ b/dav/main.c	Sat May 12 15:03:11 2018 +0200
@@ -79,7 +79,6 @@
     CmdArgs *args = cmd_parse_args(argc - 2, argv + 2);
     if(!args) {
         print_usage(argv[0]);
-        cmd_args_free(args);
         return -1;
     }