() around tactic terms

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

diff --git a/helm/matita/library/nat/gcd.ma b/helm/matita/library/nat/gcd.ma
index eb2043c98f27a7f07b18fa54e4c128ab8cfaa33a..792629aaa04c224689edcf2a152a3c2925aa547f 100644 (file)
--- a/helm/matita/library/nat/gcd.ma
+++ b/helm/matita/library/nat/gcd.ma
@@ -447,7 +447,7 @@ divides (gcd n (m \mod n)) (gcd m n) .
 intros.
 apply divides_d_gcd.
 apply divides_gcd_n.
-apply divides_mod_to_divides ? ? n.
+apply (divides_mod_to_divides ? ? n).
 assumption.
 apply divides_gcd_m.
 apply divides_gcd_n.