Mercurial > urweb

diff include/urweb.h @ 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 1cc67fdac4d3
children a1aa62b472cf
line wrap: on
line diff
--- a/include/urweb.h	Sat Dec 11 13:42:54 2010 -0500
+++ b/include/urweb.h	Sat Dec 11 15:16:04 2010 -0500
@@ -284,8 +284,6 @@
 
 uw_Basis_int uw_Basis_rand(uw_context);
 
-extern int uw_time_max;
-
-extern int uw_supports_direct_status;
+extern int uw_time_max, uw_supports_direct_status, uw_min_heap;
 
 #endif