diff -r d9dc04c3ea90 -r dfde07c7cd6b no_shm_selinux/ROOT
--- a/no_shm_selinux/ROOT	Thu Jan 09 14:39:00 2014 +0800
+++ b/no_shm_selinux/ROOT	Thu Jan 09 19:09:09 2014 +0800
@@ -40,5 +40,4 @@
 session "enrich" = "s2ss" + 
   options [document = false]
   theories
-    Enrich
-    Enrich1
\ No newline at end of file
+    Enrich
\ No newline at end of file