Mark variable as unused.

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index 579f63d..bdb3aa2 100644 (file)
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -309,7 +309,8 @@ XBT_TEST_UNIT("value", test_value, "exception value passing")
 XBT_TEST_UNIT("variables", test_variables, "variable value preservation")
 {
   xbt_ex_t ex;
-  int r1, r2;
+  int r1;
+  int _XBT_GNUC_UNUSED r2;
   volatile int v1, v2;
 
   r1 = r2 = v1 = v2 = 1234;