From 8bcd6edd08af29aca856f455fddbd08486c0b530 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 1 Mar 2015 15:19:57 -0800
Subject: [PATCH] temporary build fix

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/memory_manager.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/memory_manager.h b/src/util/memory_manager.h
index f1ce37ca6..aaf8b2825 100644
--- a/src/util/memory_manager.h
+++ b/src/util/memory_manager.h
@@ -34,7 +34,7 @@ Revision History:
 #  define GCC_RET_NON_NULL
 # endif
 # define ALLOC_ATTR __attribute__((malloc)) GCC_RET_NON_NULL
-#elif defined(_WINDOWS)
+#elif defined(_WINDOWS) && (VisualStudioVersion >= 13)
 # define ALLOC_ATTR __declspec(restrict)
 #else
 # define ALLOC_ATTR