# License or the Artistic License, as specified in the README file.
#
# !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
-# This file is built by overload.pl
+# This file is built by regen/overload.pl
#
package overload::numbers;
* License or the Artistic License, as specified in the README file.
*
* !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
- * This file is built by overload.pl
+ * This file is built by regen/overload.pl
*/
#define AMG_id2name(id) (PL_AMG_names[id]+1)
* License or the Artistic License, as specified in the README file.
*
* !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
- * This file is built by overload.pl
+ * This file is built by regen/overload.pl
*/
enum {
# License or the Artistic License, as specified in the README file.
#
# !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
-# This file is built by overload.pl
+# This file is built by regen/overload.pl
#
package overload::numbers;
* License or the Artistic License, as specified in the README file.
*
* !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
- * This file is built by overload.pl
+ * This file is built by regen/overload.pl
*/
EOF
}