From 5109e2b7d4cb643654610104e3d4827f77facc6d Mon Sep 17 00:00:00 2001
From: smccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 31 Oct 2008 18:36:07 +0000
Subject: [PATCH] Include <cstring> in ASTUtil.h, for its use of strcmp(). Good
 practice, and required by picky newer versions of g++.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@33 e59a4935-1847-0410-ae03-e826735625c1
---
 AST/ASTUtil.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/AST/ASTUtil.h b/AST/ASTUtil.h
index 99c5068..bd49c84 100644
--- a/AST/ASTUtil.h
+++ b/AST/ASTUtil.h
@@ -20,6 +20,8 @@
 #include <hash_map>
 #endif
 
+#include <cstring>
+
 using namespace std; 
 namespace BEEV {
 #ifdef EXT_HASH_MAP
-- 
2.47.3