Adjust mentions of config.h->mldsa_native_config.h in comments

mkannwischer · hanno-becker · commit c3283f9ad7db · 2025-12-10T14:56:08.000Z
Signed-off-by: Matthias J. Kannwischer &lt;matthias@kannwischer.eu&gt;
diff --git a/examples/custom_backend/mldsa_native/custom_config.h b/examples/custom_backend/mldsa_native/custom_config.h
@@ -60,7 +60,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -73,7 +73,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build/mldsa/config_44.h b/examples/monolithic_build/mldsa/config_44.h
@@ -56,7 +56,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build/mldsa/config_65.h b/examples/monolithic_build/mldsa/config_65.h
@@ -56,7 +56,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build/mldsa/config_87.h b/examples/monolithic_build/mldsa/config_87.h
@@ -56,7 +56,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_multilevel/mldsa/multilevel_config.h b/examples/monolithic_build_multilevel/mldsa/multilevel_config.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -70,7 +70,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_multilevel_native/mldsa/multilevel_config.h b/examples/monolithic_build_multilevel_native/mldsa/multilevel_config.h
@@ -61,7 +61,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_native/mldsa/config_44.h b/examples/monolithic_build_native/mldsa/config_44.h
@@ -58,7 +58,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -71,7 +71,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_native/mldsa/config_65.h b/examples/monolithic_build_native/mldsa/config_65.h
@@ -58,7 +58,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -71,7 +71,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_native/mldsa/config_87.h b/examples/monolithic_build_native/mldsa/config_87.h
@@ -58,7 +58,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -71,7 +71,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/mldsa/mldsa_native_config.h b/mldsa/mldsa_native_config.h
@@ -41,7 +41,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -53,7 +53,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/mldsa/src/common.h b/mldsa/src/common.h
@@ -51,7 +51,7 @@
 /* Functions are prefixed by MLD_CONFIG_NAMESPACE_PREFIX.
  *
  * If multiple parameter sets are used, functions depending on the parameter
- * set are additionally prefixed with 44/65/87. See config.h.
+ * set are additionally prefixed with 44/65/87. See mldsa_native_config.h.
  *
  * Example: If MLD_CONFIG_NAMESPACE_PREFIX is PQCP_MLDSA_NATIVE, then
  * MLD_NAMESPACE_KL(keypair) becomes PQCP_MLDSA_NATIVE44_keypair/
diff --git a/mldsa/src/sys.h b/mldsa/src/sys.h
@@ -235,8 +235,8 @@ static MLD_INLINE int mld_sys_check_capability(mld_sys_cap cap)
    * If a feature is enabled at compile-time, we assume it is supported by
    * the host that the resulting library/binary will be built on.
    * If this assumption is not true, you MUST overwrite this function.
-   * See the documentation of MLD_CONFIG_CUSTOM_CAPABILITY_FUNC in config.h
-   * for more information. */
+   * See the documentation of MLD_CONFIG_CUSTOM_CAPABILITY_FUNC in
+   * mldsa_native_config.h for more information. */
   (void)cap;
   return 1;
 }
diff --git a/test/break_pct_config.h b/test/break_pct_config.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_memcpy_config.h b/test/custom_memcpy_config.h
@@ -56,7 +56,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -68,7 +68,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_memset_config.h b/test/custom_memset_config.h
@@ -56,7 +56,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -68,7 +68,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_0.h b/test/custom_native_capability_config_0.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_1.h b/test/custom_native_capability_config_1.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_CPUID_AVX2.h b/test/custom_native_capability_config_CPUID_AVX2.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_ID_AA64PFR1_EL1.h b/test/custom_native_capability_config_ID_AA64PFR1_EL1.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_randombytes_config.h b/test/custom_randombytes_config.h
@@ -56,7 +56,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -68,7 +68,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_stdlib_config.h b/test/custom_stdlib_config.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_zeroize_config.h b/test/custom_zeroize_config.h
@@ -56,7 +56,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -68,7 +68,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/no_asm_config.h b/test/no_asm_config.h
@@ -57,7 +57,7 @@
  * Name:        MLD_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mldsa/src/config.h.
+ *              of the default configuration file mldsa/mldsa_native_config.h.
  *
  *              When you need to build mldsa-native in multiple configurations,
  *              using varying MLD_CONFIG_FILE can be more convenient
@@ -69,7 +69,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLD_CONFIG_FILE "config.h" */
+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */
 
 /******************************************************************************
  * Name:        MLD_CONFIG_NAMESPACE_PREFIX
diff --git a/test/serial_fips202_config.h b/test/serial_fips202_config.h

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@`
`60`	`60`	`* Name: MLD_CONFIG_FILE`
`61`	`61`	`*`
`62`	`62`	`* Description: If defined, this is a header that will be included instead`
`63`		`- * of the default configuration file mldsa/src/config.h.`
	`63`	`+ * of the default configuration file mldsa/mldsa_native_config.h.`
`64`	`64`	`*`
`65`	`65`	`* When you need to build mldsa-native in multiple configurations,`
`66`	`66`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -73,7 +73,7 @@`
`73`	`73`	`*`
`74`	`74`	`*****************************************************************************/`
`75`	`75`	`/* No need to set this -- we _are_ already in a custom config */`
`76`		`-/* #define MLD_CONFIG_FILE "config.h" */`
	`76`	`+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */`
`77`	`77`
`78`	`78`	`/******************************************************************************`
`79`	`79`	`* Name: MLD_CONFIG_NAMESPACE_PREFIX`
Original file line number	Diff line number	Diff line change
`@@ -56,7 +56,7 @@`
`56`	`56`	`* Name: MLD_CONFIG_FILE`
`57`	`57`	`*`
`58`	`58`	`* Description: If defined, this is a header that will be included instead`
`59`		`- * of the default configuration file mldsa/src/config.h.`
	`59`	`+ * of the default configuration file mldsa/mldsa_native_config.h.`
`60`	`60`	`*`
`61`	`61`	`* When you need to build mldsa-native in multiple configurations,`
`62`	`62`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -69,7 +69,7 @@`
`69`	`69`	`*`
`70`	`70`	`*****************************************************************************/`
`71`	`71`	`/* No need to set this -- we _are_ already in a custom config */`
`72`		`-/* #define MLD_CONFIG_FILE "config.h" */`
	`72`	`+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */`
`73`	`73`
`74`	`74`	`/******************************************************************************`
`75`	`75`	`* Name: MLD_CONFIG_NAMESPACE_PREFIX`
Original file line number	Diff line number	Diff line change
`@@ -57,7 +57,7 @@`
`57`	`57`	`* Name: MLD_CONFIG_FILE`
`58`	`58`	`*`
`59`	`59`	`* Description: If defined, this is a header that will be included instead`
`60`		`- * of the default configuration file mldsa/src/config.h.`
	`60`	`+ * of the default configuration file mldsa/mldsa_native_config.h.`
`61`	`61`	`*`
`62`	`62`	`* When you need to build mldsa-native in multiple configurations,`
`63`	`63`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -70,7 +70,7 @@`
`70`	`70`	`*`
`71`	`71`	`*****************************************************************************/`
`72`	`72`	`/* No need to set this -- we _are_ already in a custom config */`
`73`		`-/* #define MLD_CONFIG_FILE "config.h" */`
	`73`	`+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */`
`74`	`74`
`75`	`75`	`/******************************************************************************`
`76`	`76`	`* Name: MLD_CONFIG_NAMESPACE_PREFIX`
Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@`
`61`	`61`	`* Name: MLD_CONFIG_FILE`
`62`	`62`	`*`
`63`	`63`	`* Description: If defined, this is a header that will be included instead`
`64`		`- * of the default configuration file mldsa/src/config.h.`
	`64`	`+ * of the default configuration file mldsa/mldsa_native_config.h.`
`65`	`65`	`*`
`66`	`66`	`* When you need to build mldsa-native in multiple configurations,`
`67`	`67`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -74,7 +74,7 @@`
`74`	`74`	`*`
`75`	`75`	`*****************************************************************************/`
`76`	`76`	`/* No need to set this -- we _are_ already in a custom config */`
`77`		`-/* #define MLD_CONFIG_FILE "config.h" */`
	`77`	`+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */`
`78`	`78`
`79`	`79`	`/******************************************************************************`
`80`	`80`	`* Name: MLD_CONFIG_NAMESPACE_PREFIX`
Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,7 @@`
`58`	`58`	`* Name: MLD_CONFIG_FILE`
`59`	`59`	`*`
`60`	`60`	`* Description: If defined, this is a header that will be included instead`
`61`		`- * of the default configuration file mldsa/src/config.h.`
	`61`	`+ * of the default configuration file mldsa/mldsa_native_config.h.`
`62`	`62`	`*`
`63`	`63`	`* When you need to build mldsa-native in multiple configurations,`
`64`	`64`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -71,7 +71,7 @@`
`71`	`71`	`*`
`72`	`72`	`*****************************************************************************/`
`73`	`73`	`/* No need to set this -- we _are_ already in a custom config */`
`74`		`-/* #define MLD_CONFIG_FILE "config.h" */`
	`74`	`+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */`
`75`	`75`
`76`	`76`	`/******************************************************************************`
`77`	`77`	`* Name: MLD_CONFIG_NAMESPACE_PREFIX`
Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@`
`41`	`41`	`* Name: MLD_CONFIG_FILE`
`42`	`42`	`*`
`43`	`43`	`* Description: If defined, this is a header that will be included instead`
`44`		`- * of the default configuration file mldsa/src/config.h.`
	`44`	`+ * of the default configuration file mldsa/mldsa_native_config.h.`
`45`	`45`	`*`
`46`	`46`	`* When you need to build mldsa-native in multiple configurations,`
`47`	`47`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -53,7 +53,7 @@`
`53`	`53`	`* on the command line.`
`54`	`54`	`*`
`55`	`55`	`*****************************************************************************/`
`56`		`-/* #define MLD_CONFIG_FILE "config.h" */`
	`56`	`+/* #define MLD_CONFIG_FILE "mldsa_native_config.h" */`
`57`	`57`
`58`	`58`	`/******************************************************************************`
`59`	`59`	`* Name: MLD_CONFIG_NAMESPACE_PREFIX`