diff --git a/src/smt/smt_theory.h b/src/smt/smt_theory.h
index f48d75b2e..96a7ac84c 100644
--- a/src/smt/smt_theory.h
+++ b/src/smt/smt_theory.h
@@ -22,6 +22,7 @@ Revision History:
 #include"smt_enode.h"
 #include"obj_hashtable.h"
 #include"statistics.h"
+#include<typeinfo>
 
 namespace smt {
     class model_generator;