model-checker : unused variable

diff --git a/src/mc/mc_unw_vmread.c b/src/mc/mc_unw_vmread.c
index 742359e..dd7da1f 100644 (file)
--- a/src/mc/mc_unw_vmread.c
+++ b/src/mc/mc_unw_vmread.c
@@ -42,7 +42,6 @@ static int access_mem(const unw_addr_space_t as,
 {
   if (write)
     return - UNW_EINVAL;
-  ssize_t s;
   pid_t pid = _UPT_getpid(arg);
   size_t size = sizeof(unw_word_t);