From c899ebd07d146441aa70980fe389d18633863c35 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Sat, 11 Jun 2016 12:20:46 +0200
Subject: [PATCH] add missing include

---
 src/xbt/backtrace_dummy.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/xbt/backtrace_dummy.cpp b/src/xbt/backtrace_dummy.cpp
index 81a53d4eb2..4125fb7ac0 100644
--- a/src/xbt/backtrace_dummy.cpp
+++ b/src/xbt/backtrace_dummy.cpp
@@ -8,6 +8,7 @@
 
 #include "xbt/ex.h"
 #include "src/xbt_modinter.h"
+#include "src/xbt/ex_interface.h"
 
 /* Module creation/destruction */
 void xbt_backtrace_preinit(void)
@@ -38,4 +39,4 @@ std::vector<std::string> resolveBacktrace(
 }
 
 }
-}
\ No newline at end of file
+}
-- 
2.20.1