added some splint comments

[uzbl-mobile] / config.h

diff --git a/config.h b/config.h
index c6e3f35..5c9835f 100644 (file)
--- a/config.h
+++ b/config.h
@@ -1,5 +1,5 @@
 const struct {
-    char *command;
+    /*@null@*/ char *command;
 } default_config[] = {
 { "set reset_command_mode = 1"},
 { "set status_format = <span background=\"darkblue\" foreground=\"white\"> \\@MODE </span> <span background=\"red\" foreground=\"white\">\\@[\\@keycmd]\\@</span> (\\@LOAD_PROGRESS%)  <b>\\@[\\@TITLE]\\@</b>  - Uzbl browser"},