From 5c7ecee696b69e6177921d0077a2b1875f6e3f00 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 5 Feb 2013 11:15:14 +0100
Subject: [PATCH 1/1] Use correct include.

xbt/synchro.h has vanished in SG 3.9.
---
 synchro.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/synchro.h b/synchro.h
index a2e86f3..e366bee 100644
--- a/synchro.h
+++ b/synchro.h
@@ -1,7 +1,7 @@
 #ifndef SYNCHRO_H
 #define SYNCHRO_H
 
-#include <xbt/synchro.h>
+#include <xbt/synchro_core.h>
 
 class mutex_t {
 public:
-- 
2.39.5