From 1700d14f138878ab211937ff61e8a9c7ca7dd0b5 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 2 Oct 2014 11:05:50 +0200 Subject: [PATCH] [mc] Fix conversion from char 0 into char* --- src/mc/mc_request.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c index 56696d6b82..cb13045859 100644 --- a/src/mc/mc_request.c +++ b/src/mc/mc_request.c @@ -328,12 +328,12 @@ char *MC_request_to_string(smx_simcall_t req, int value) case SIMCALL_MC_SNAPSHOT: type = xbt_strdup("MC_SNAPSHOT"); - args = '\0'; + args = NULL; break; case SIMCALL_MC_COMPARE_SNAPSHOTS: type = xbt_strdup("MC_COMPARE_SNAPSHOTS"); - args = '\0'; + args = NULL; break; case SIMCALL_MC_RANDOM: -- 2.20.1