fix bad type case

This commit is contained in:
rfm 2024-05-31 09:39:52 +01:00
parent cfc158b4ce
commit f19650b9df