From 7f6d42b7a2c32e3b27c2df85c4554f3189fa68b9 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Thu, 14 Nov 2013 18:59:10 +0100
Subject: [PATCH] as this was not included, xbt_dynar_sort never used mergesort
 .. we should check if we don't forget it elsewhere

---
 src/xbt/dynar.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/xbt/dynar.c b/src/xbt/dynar.c
index d9e20b9250..26a81719a7 100644
--- a/src/xbt/dynar.c
+++ b/src/xbt/dynar.c
@@ -6,6 +6,7 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#include "internal_config.h"
 #include "xbt/misc.h"
 #include "xbt/sysdep.h"
 #include "xbt/log.h"
-- 
2.20.1