From ef06da8c2c09390b84d3846f83d4b500a2a0bc46 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Fri, 11 Dec 2015 18:14:14 +0000
Subject: [PATCH] fix build with gcc

---
 src/smt/smt_theory.h | 1 +
 1 file changed, 1 insertion(+)

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;