Mercurial > urweb

diff src/settings.sml @ 1823:66a58d8501e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adam@chlipala.net>
date Wed, 19 Sep 2012 14:36:12 -0400
parents 3c56aa6a0f55
children c3119c263bd3
line wrap: on
line diff
--- a/src/settings.sml	Wed Sep 19 14:20:47 2012 -0400
+++ b/src/settings.sml	Wed Sep 19 14:36:12 2012 -0400
@@ -615,11 +615,11 @@
 fun setSql so = sql := so
 fun getSql () = !sql
 
-val coreInline = ref 20
+val coreInline = ref 5
 fun setCoreInline n = coreInline := n
 fun getCoreInline () = !coreInline
 
-val monoInline = ref 100
+val monoInline = ref 5
 fun setMonoInline n = monoInline := n
 fun getMonoInline () = !monoInline