From 0b3e50d6e67bace32f8d9e3a8a6c11af144371be Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 17 Dec 2013 13:53:10 +0000
Subject: [PATCH] Added #include <algorithm> because VS2013 needs that for
 std::max/std::min

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/interp/iz3scopes.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/interp/iz3scopes.cpp b/src/interp/iz3scopes.cpp
index 382779be0..198ecffe3 100755
--- a/src/interp/iz3scopes.cpp
+++ b/src/interp/iz3scopes.cpp
@@ -19,6 +19,8 @@ Revision History:
 
 #include <assert.h>
 
+#include <algorithm>
+
 #include "iz3scopes.h"