diff --git a/lib/brolib-sml b/lib/brolib-sml
index 265e6e1..56a469e 160000
--- a/lib/brolib-sml
+++ b/lib/brolib-sml
@@ -1 +1 @@
-Subproject commit 265e6e1a90638820fd2b5c553ed85d162a0f9571
+Subproject commit 56a469e5782f81276e005e666bdd831ed5aba25a
diff --git a/shf-tests.mlb b/shf-tests.mlb
index c7493e7..242d8fe 100644
--- a/shf-tests.mlb
+++ b/shf-tests.mlb
@@ -6,20 +6,20 @@ lib/brolib-sml/src/gap_set.sml
 lib/cozette-sml/fonts-with-z-index/cozette-ascii.mlb
 
 (* FUNCTIONAL CORE *)
-message-types/input-msg.sml
-message-types/draw-msg.sml
-message-types/search-msg.sml
-message-types/mailbox-type.sml
+fcore/bin-search.sml
 
 ann
   "allowVectorExps true"
 in
   fcore/persistent-vector.sml
 end
+fcore/search-list/dfa-gen.sml
+fcore/search-list/search-list.sml
 
-fcore/escape-string.sml
-fcore/bin-search.sml
-fcore/search-list.sml
+message-types/input-msg.sml
+message-types/draw-msg.sml
+message-types/search-msg.sml
+message-types/mailbox-type.sml
 
 fcore/app-type.sml
 fcore/normal-mode/normal-mode-with.sml