From b4001c6582520d7e4f18615473ec746c10ce43b9 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 25 Feb 2015 19:18:10 +0100
Subject: [PATCH] model-checker : initialize variable

---
 examples/smpi/mc/non_termination4.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/smpi/mc/non_termination4.c b/examples/smpi/mc/non_termination4.c
index 4e03da5acd..c992b2491e 100644
--- a/examples/smpi/mc/non_termination4.c
+++ b/examples/smpi/mc/non_termination4.c
@@ -6,7 +6,7 @@ int x = 20;
 
 int main(int argc, char **argv) {
   
-	int recv_x, size, rank;
+	int recv_x = 1, size, rank;
   MPI_Status status;
 
   MPI_Init(&argc, &argv);
-- 
2.20.1