[windows] We don't use winsock2 since the death of GRAS, a few years ago

[simgrid.git] / src / mc / Type.hpp

diff --git a/src/mc/Type.hpp b/src/mc/Type.hpp
index 7e68c5432fe05649798001740ae5eed00d5fb61e..bc3cc45e61eae0e188fb7a8878d0b4551f84e26f 100644 (file)
--- a/src/mc/Type.hpp
+++ b/src/mc/Type.hpp
@@ -10,6 +10,8 @@
 #include <vector>
 #include <string>
 
+#include <xbt/base.h>
+
 #include "mc_forward.h"
 #include "mc_location.h"
 
@@ -59,7 +61,7 @@ public:
 
   void offset(int new_offset)
   {
-    DwarfInstruction op;
+    Dwarf_Op op;
     op.atom = DW_OP_plus_uconst;
     op.number = new_offset;
     this->location_expression = { op };