From 73ca6a5bc359768f69ee1e7181ab19578c6e181e Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 25 Feb 2015 19:00:14 +0100
Subject: [PATCH] model-checker : clang compliant

---
 src/mc/mc_comm_determinism.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mc/mc_comm_determinism.c b/src/mc/mc_comm_determinism.c
index 1755a6ae6a..0636fa4952 100644
--- a/src/mc/mc_comm_determinism.c
+++ b/src/mc/mc_comm_determinism.c
@@ -92,6 +92,7 @@ static char* print_determinism_result(e_mc_comm_pattern_difference_t diff, int p
     res = bprintf("%s\n Different data for communication #%d", type, cursor);
     break;
   default:
+    res = NULL;
     break;
   }
 
-- 
2.20.1