From ee00852151f6e0b34f244878eaa5643a42ec3335 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 17 Aug 2017 21:09:23 -0700
Subject: [PATCH] fix compilation of tests

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/optional.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/optional.cpp b/src/test/optional.cpp
index 46dfef82c..2ef922444 100644
--- a/src/test/optional.cpp
+++ b/src/test/optional.cpp
@@ -18,6 +18,7 @@ Revision History:
 --*/
 #include "util/trace.h"
 #include "util/debug.h"
+#include "util/memory_manager.h"
 #include "util/optional.h"
 
 static void tst1() {