From 7e9ba03ec65954b8dda6f16093553b07b37c5eda Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sat, 1 Dec 2012 22:06:36 +0100
Subject: [PATCH] added boost header for uint_fastX types

---
 src/parser/readLabFile.h | 1 +
 1 file changed, 1 insertion(+)

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 {