From 702f0c2190c56b00f1e043a1363c2c8d6c20cc84 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 23 Dec 2013 12:56:59 -0800
Subject: [PATCH] fix(tests/kernel/free_vars): reduce example stack size
 consumption

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/kernel/free_vars.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tests/kernel/free_vars.cpp b/src/tests/kernel/free_vars.cpp
index ed8bbfb13..cc13f722c 100644
--- a/src/tests/kernel/free_vars.cpp
+++ b/src/tests/kernel/free_vars.cpp
@@ -43,7 +43,7 @@ static void tst2() {
 }
 
 static void tst3() {
-    unsigned n = 30000;
+    unsigned n = 20000;
     unsigned m = 10;
     expr f = Const("f");
     expr a = Const("a");