no_shm_selinux/ROOT
changeset 93 dfde07c7cd6b
parent 87 8d18cfc845dd
--- 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