From bfa6c9967677655106a178799560fe071379e1fd Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Thu, 12 Dec 2013 18:38:09 -0800
Subject: [PATCH] still trying to get stl to work

---
 src/duality/duality_rpfp.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/duality/duality_rpfp.cpp b/src/duality/duality_rpfp.cpp
index bf6857b68..e3f6da63d 100644
--- a/src/duality/duality_rpfp.cpp
+++ b/src/duality/duality_rpfp.cpp
@@ -26,6 +26,7 @@ Revision History:
 #include <algorithm>
 #include <fstream>
 #include <set>
+#include <iterator>
 
 #ifndef WIN32
 // #define Z3OPS