src/proto2/NetworkSession.hh
changeset 118 561165de7452
parent 89 825c4613e087
child 120 7344b965ad69
--- a/src/proto2/NetworkSession.hh	Fri Nov 28 13:17:43 2008 +0000
+++ b/src/proto2/NetworkSession.hh	Fri Nov 28 14:27:07 2008 +0000
@@ -2,6 +2,7 @@
 #define NETWORK_SESSION_HH
 
 #include <map>
+#include <cstdint>
 
 // forward-declare
 class NetworkSession;