update in basic_2

[helm.git] / helm / www / lambdadelta / web / home / basic_2_src.tbl

diff --git a/helm/www/lambdadelta/web/home/basic_2_src.tbl b/helm/www/lambdadelta/web/home/basic_2_src.tbl
index 12f91aff4518b7e6ca3317e25b1054b463dcf17b..40f6944e7af77beb191de18ca2bc972c1e454aae 100644 (file)
--- a/helm/www/lambdadelta/web/home/basic_2_src.tbl
+++ b/helm/www/lambdadelta/web/home/basic_2_src.tbl
@@ -40,7 +40,7 @@ table {
         ]
 *)
         [ { "stratified native validity" * } {
-             [ "snv ( ⦃?,?⦄ ⊩ ? :[?] )" "snv_lift" + "snv_ltpss_dx" + "snv_ltpss_sn" + "snv_aaa" + "snv_ssta" + "snv_cpr_ssta" + "snv_cpr" + "snv_dxprs" * ]
+             [ "snv ( ⦃?,?⦄ ⊩ ? :[?] )" "snv_lift" + "snv_ltpss_dx" + "snv_ltpss_sn" + "snv_aaa" + "snv_ssta" + "snv_ltpr_ssta" + "snv_ltpr" + "snv_cpcs" * ]
           }
         ]
      }