diff src/settings.sig @ 1966:b15a4c2cb542

neverInline
author Adam Chlipala <adam@chlipala.net>
date Sun, 09 Feb 2014 19:29:36 -0500
parents ac1be85e91ad
children 403f0cc65b9c
line wrap: on
line diff
--- a/src/settings.sig	Sun Jan 19 14:31:55 2014 -0500
+++ b/src/settings.sig	Sun Feb 09 19:29:36 2014 -0500
@@ -252,6 +252,9 @@
     val addAlwaysInline : string -> unit
     val checkAlwaysInline : string -> bool
 
+    val addNeverInline : string -> unit
+    val checkNeverInline : string -> bool
+
     val addNoXsrfProtection : string -> unit
     val checkNoXsrfProtection : string -> bool