1 files changed, 2 insertions, 2 deletions
diff --git a/hex.c b/hex.c
index 97192c5b..41afcf17 100644
--- a/hex.c
+++ b/hex.c
@@ -52,7 +52,7 @@ char /*@ observer @*/ *gpsd_hexdump(const void *binbuf, size_t binbuflen)
     return hexbuf;
 }
 
-int gpsd_hexpack(char *src, char *dst, size_t len){
+int gpsd_hexpack(/*@in@*/const char *src, /*@out@*/char *dst, size_t len){
 /* hex2bin source string to destination - destination can be same as source */ 
     int i, k, l;
 
@@ -72,7 +72,7 @@ int gpsd_hexpack(char *src, char *dst, size_t len){
 }
 
 /*@ +charint -shiftimplementation @*/
-int hex2bin(char *s)
+int hex2bin(const char *s)
 {
     int a, b;