...

[helm.git] / matita / matita / help / C / sec_tactics.xml

diff --git a/matita/matita/help/C/sec_tactics.xml b/matita/matita/help/C/sec_tactics.xml
index 4687868addfeb344ed8c7d46a190c58f31ddf192..2ac2cfc65a459961f869ccbb7644437f7c4c7e04 100644 (file)
--- a/matita/matita/help/C/sec_tactics.xml
+++ b/matita/matita/help/C/sec_tactics.xml
@@ -167,7 +167,7 @@
       </variablelist>
     </para>
   </sect1>
-  <sect1 id="tac_intro">
+  <sect1 id="macro_intro">
     <title>##</title>
     <titleabbrev>##</titleabbrev>
     <para><userinput>##</userinput></para>