1 files changed, 1 insertions, 0 deletions
diff --git a/system.hh b/system.hh
index ffefafb3..221b81ef 100644
--- a/system.hh
+++ b/system.hh
@@ -52,6 +52,7 @@
 
 #include <algorithm>
 #include <exception>
+#include <typeinfo>
 #include <stdexcept>
 #include <iostream>
 #include <streambuf>