* Obsolete debugging comments removed

[helm.git] / helm / matita / library / nat / div_and_mod.ma

diff --git a/helm/matita/library/nat/div_and_mod.ma b/helm/matita/library/nat/div_and_mod.ma
index ad74a324db86b807cce2bbccc166c8a719fa83d2..73344c7c46b0cf1466b0aea949755ced792fc13a 100644 (file)
--- a/helm/matita/library/nat/div_and_mod.ma
+++ b/helm/matita/library/nat/div_and_mod.ma
@@ -133,7 +133,6 @@ rewrite < sym_plus.
 apply le_plus_n.
 rewrite < sym_times.
 rewrite > distr_times_minus.
-(* ATTENZIONE ALL' ORDINAMENTO DEI GOALS *)
 rewrite > plus_minus.
 rewrite > sym_times.
 rewrite < H5.