Mercurial > urweb

diff src/cjr_print.sml @ 1332:4dd5d23bace2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minHeap option in .urp files
author Adam Chlipala <adam@chlipala.net>
date Sat, 11 Dec 2010 15:16:04 -0500
parents d596c7002ad8
children b106ca8200b1
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Dec 11 13:42:54 2010 -0500
+++ b/src/cjr_print.sml	Sat Dec 11 15:16:04 2010 -0500
@@ -2834,6 +2834,16 @@
 
              box [string "static void uw_setup_limits() {",
                   newline,
+                  case Settings.getMinHeap () of
+                      0 => box []
+                    | n => box [string "uw_min_heap",
+                                space,
+                                string "=",
+                                space,
+                                string (Int.toString n),
+                                string ";",
+                                newline,
+                                newline],
                   box [p_list_sep (box []) (fn (class, num) =>
                                                let
                                                    val num = case class of