From f996e5a5a24dcd632c619f8f2d8af4e685f14b06 Mon Sep 17 00:00:00 2001
From: navarro <navarro@caraja.(none)>
Date: Wed, 2 May 2012 13:04:01 +0200
Subject: [PATCH 1/1] This file does not exist.

---
 src/mc/mc_private.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 179f7bb45e..b37a075f77 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -19,7 +19,6 @@
 #include "xbt/hash.h"
 #include "msg/msg.h"
 #include "msg/datatypes.h"
-#include "simix/datatypes.h"
 
 /****************************** Snapshots ***********************************/
 
-- 
2.20.1