diff src/settings.sig @ 1984:819756825c8d

Merge in upstream
author Patrick Hurst <phurst@mit.edu>
date Fri, 14 Feb 2014 04:00:03 -0500
parents b15a4c2cb542
children 403f0cc65b9c
line wrap: on
line diff
--- a/src/settings.sig	Wed Jan 29 18:29:43 2014 -0500
+++ b/src/settings.sig	Fri Feb 14 04:00:03 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