- improved Makefile esp. with the "trim" function

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / computation / csn.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma
index 3ed31016442ad1c05ebf1cbdd72073e28045cf34..2a7f4b7b22e57507c364afa353132eb0f97a0ffc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma
@@ -61,7 +61,7 @@ elim (cpr_inv_cast1 … H1) -H1
 [ * #W0 #T0 #HLW0 #HLT0 #H destruct
   elim (eq_false_inv_tpair_sn … H2) -H2
   [ /3 width=3/
-  | -HLW0 * #H destruct /3 width=1/ 
+  | -HLW0 * #H destruct /3 width=1/
   ]
 | /3 width=3/
 ]