From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 6 Jun 2011 22:12:21 +0000 (+0000)
Subject: compilation fix for x86 (from previous commit)
X-Git-Tag: cvc5-1.0.0~8532
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0555d96193b6d9c39c26a04941c6087e4465adf0;p=cvc5.git

compilation fix for x86 (from previous commit)
---

diff --git a/src/context/context.h b/src/context/context.h
index 6375707b9..34107ef29 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -26,6 +26,7 @@
 #include <cstring>
 #include <vector>
 #include <new>
+#include <typeinfo>
 
 #include "context/context_mm.h"
 #include "util/Assert.h"