typo in a proof

From: puech <puech@c2b2084f-9a08-0410-b176-e24b037a169a>

diff --git a/helm/software/matita/nlibrary/arithmetics/nat.ma b/helm/software/matita/nlibrary/arithmetics/nat.ma
index 4f1f6541164044c5b6be1e3a4117f4f73988b498..1ef6a81cbbfdc55f335481f199cfcc008f00218f 100644 (file)
--- a/helm/software/matita/nlibrary/arithmetics/nat.ma
+++ b/helm/software/matita/nlibrary/arithmetics/nat.ma
@@ -454,7 +454,7 @@ ntheorem le_n_Sm_elim : ∀n,m:nat.n ≤ S m →
 
 ntheorem le_to_le_to_eq: ∀n,m. n ≤ m → m ≤ n → n = m.
 napply nat_elim2; 
-##[#n; #H1; #H2; /4/;
+#n; #H1; #H2; /4/;
  nqed. 
 
 ntheorem lt_O_S : ∀n:nat. O < S n.