--- a/src/HOL/ROOT	Sat Nov 01 12:50:07 2025 +0000
+++ b/src/HOL/ROOT	Sun Nov 02 19:47:30 2025 +0100
@@ -152,6 +152,8 @@
     Computational_Algebra
     (*conflicting type class instantiations and dependent applications*)
     Field_as_Ring
+    (*checks that computation works*)
+    Computation_Checks
   document_files
     "root.tex"
     "root.bib"