model-checker : update include file

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index f130c0b..5910aeb 100644 (file)
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -5,7 +5,7 @@
 
 #include <libgen.h>
 #include "mc_private.h"
-#include <xbt/module.h>
+#include "xbt/module.h"
 
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_checkpoint, mc,