Mercurial > urweb

diff src/settings.sig @ 1393:802c179dac1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
alwaysInline .urp setting
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Jan 2011 18:15:04 -0500
parents 44a12a321150
children 66092ce45a76
line wrap: on
line diff
--- a/src/settings.sig	Thu Jan 13 13:20:14 2011 -0500
+++ b/src/settings.sig	Thu Jan 13 18:15:04 2011 -0500
@@ -215,4 +215,7 @@
 
     val setMinHeap : int -> unit
     val getMinHeap : unit -> int
+
+    val addAlwaysInline : string -> unit
+    val checkAlwaysInline : string -> bool
 end