From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 5 Aug 2014 20:55:04 +0000 (+0000)
Subject: bugfix in source table :(
X-Git-Tag: make_still_working~863
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=99573d95dbebe2ec3dac5eda7b1dde2fe819ce3f;p=helm.git

bugfix in source table :(
---

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
index 293ff42c1..147978606 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
@@ -51,7 +51,7 @@ table {
           }
         ]
         [ { "stratified native validity" * } {
-             [ "hsnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )" "hsnv_aaa" * 
+             [ "hsnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )" "hsnv_aaa" * ]
              [ "snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] )" "snv_lift" + "snv_aaa" + "snv_da_lpr" + "snv_lstas" + "snv_lstas_lpr" + "snv_lpr" + "snv_cpes" + "snv_preserve" * ]
           }
         ]