remove duplicate id

php · Mar 3, 2024 · b1b8017 · b1b8017
1 parent 025c09a
commit b1b8017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/appendices/reserved.constants.core.xml b/appendices/reserved.constants.core.xml
@@ -641,7 +641,7 @@
     </simpara>
    </listitem>
   </varlistentry>
-  <varlistentry xml:id="constant.compiler-halt-offset">
+  <varlistentry>
    <term>
     <constant>__COMPILER_HALT_OFFSET__</constant>
     (<type>int</type>)