From e3ce087d0a3473e3905556c226d6c5bbb2bc9a39 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 13 Jan 2011 18:15:04 -0500
Subject: alwaysInline .urp setting

---
 src/settings.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index c49ecacc..fbf9b3c5 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -215,4 +215,7 @@ signature SETTINGS = sig
 
     val setMinHeap : int -> unit
     val getMinHeap : unit -> int
+
+    val addAlwaysInline : string -> unit
+    val checkAlwaysInline : string -> bool
 end
-- 
cgit v1.2.3