diff -r d240598e8637 -r fc359b60121c src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Nov 07 11:08:11 2018 +0000
+++ b/src/HOL/ROOT	Wed Nov 07 11:08:12 2018 +0000
@@ -613,6 +613,7 @@
     Set_Theory
     Simproc_Tests
     Simps_Case_Conv_Examples
+    Sorting_Algorithms_Examples
     Sqrt
     Sqrt_Script
     Sudoku