diff --git a/src/parser/readLabFile.h b/src/parser/readLabFile.h
index 625bd5685..afd575f2d 100644
--- a/src/parser/readLabFile.h
+++ b/src/parser/readLabFile.h
@@ -2,6 +2,7 @@
 #define READLABFILE_H_
 
 #include "src/models/atomic_propositions_labeling.h"
+#include "boost/integer/integer_mask.hpp"
 
 
 namespace mrmc {