diff --git a/collects/realm/info.rkt b/collects/realm/info.rkt
index f9c998ddd3..391c286782 100644
--- a/collects/realm/info.rkt
+++ b/collects/realm/info.rkt
@@ -4,13 +4,13 @@
 
 (define compile-omit-paths
   '(
-;    "10-12"
+    "10-12"
 ;    "chapter2"
     "chapter5/ufo-source.rkt"
 ;    "chapter6"
 ;    "chapter8"
 ;    "chapter10"
-;    "chapter12"
+    "chapter12"
 ;    "chapter13"
 ;    "chapter14"
     ))