* Obsolete debugging comments removed

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

diff --git a/helm/matita/library/nat/primes.ma b/helm/matita/library/nat/primes.ma
index 644cae978f58a419e9d2d53ca2188b7fbcbe1322..dc5f627e43103119199d71747a837c60b8595cf4 100644 (file)
--- a/helm/matita/library/nat/primes.ma
+++ b/helm/matita/library/nat/primes.ma
@@ -59,7 +59,7 @@ apply witness n m (div m n).
 rewrite > plus_n_O (n*div m n).
 rewrite < H1.
 rewrite < sym_times.
-(* perche' hint non lo trova ?*)
+(* Andrea: perche' hint non lo trova ?*)
 apply div_mod.
 assumption.
 qed.