From d42e3ce6519a5d3d83173399692e665c7e5ac9c7 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Thu, 2 Apr 2015 13:10:23 -0700
Subject: [PATCH] possible header problem for std::less

---
 src/interp/iz3mgr.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/interp/iz3mgr.h b/src/interp/iz3mgr.h
index 7f66bb2d8..4ae39ef46 100755
--- a/src/interp/iz3mgr.h
+++ b/src/interp/iz3mgr.h
@@ -23,6 +23,8 @@ Revision History:
 
 #include <assert.h>
 #include <vector>
+#include <functional>
+
 #include "iz3hash.h"
 
 #include"well_sorted.h"