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