From 718af1b286a8fbd3f9f97358ab3bd995684f9543 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 11 Dec 2010 15:16:04 -0500
Subject: minHeap option in .urp files

---
 tests/hog.urp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tests/hog.urp')

diff --git a/tests/hog.urp b/tests/hog.urp
index 615fb529..edfef7f1 100644
--- a/tests/hog.urp
+++ b/tests/hog.urp
@@ -1 +1,3 @@
+minHeap 1000000
+
 hog
-- 
cgit v1.2.3