no_shm_selinux/ROOT
changeset 87 8d18cfc845dd
parent 77 6f7b9039715f
child 93 dfde07c7cd6b
--- a/no_shm_selinux/ROOT	Mon Dec 30 23:41:58 2013 +0800
+++ b/no_shm_selinux/ROOT	Tue Dec 31 14:57:13 2013 +0800
@@ -35,4 +35,10 @@
   options [document = false]
   theories
     S2ss_prop
-    S2ss_prop2
\ No newline at end of file
+    S2ss_prop2
+
+session "enrich" = "s2ss" + 
+  options [document = false]
+  theories
+    Enrich
+    Enrich1
\ No newline at end of file