From fd108235a80b5369f85669d56056379bf905c214 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Thu, 23 Apr 2015 14:31:42 +0200
Subject: [PATCH] model-checker : unused variable

---
 src/mc/mc_unw_vmread.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/mc/mc_unw_vmread.c b/src/mc/mc_unw_vmread.c
index 742359ef3a..dd7da1f0a8 100644
--- 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);
 
-- 
2.20.1