From 4ce39087dbcc088d77d3a01c8994958e692fbe18 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Sun, 15 Sep 2013 14:00:45 -0700
Subject: [PATCH] something cl was complaining about

---
 src/interp/iz3translate.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interp/iz3translate.cpp b/src/interp/iz3translate.cpp
index ceacb18bf..f6f72d920 100755
--- a/src/interp/iz3translate.cpp
+++ b/src/interp/iz3translate.cpp
@@ -65,7 +65,7 @@ public:
   typedef hash_set<ast> AstHashSet;
   AstHashSet equivs_visited;                // proofs already checked for equivalences
 
-  typedef pair<hash_map<ast,Iproof::node>, hash_map<ast,Iproof::node> > AstToIpf;
+  typedef std::pair<hash_map<ast,Iproof::node>, hash_map<ast,Iproof::node> > AstToIpf;
   AstToIpf translation;                     // Z3 proof nodes to Iproof nodes
   
   AstToInt frame_map;                      // map assertions to frames