Closed mflatt closed 7 months ago
Fixes a mistake in d7cc2cf2e5. This mistake was noticed by some C compilers, but I missed the warnings.
Fixes a mistake in d7cc2cf2e5. This mistake was noticed by some C compilers, but I missed the warnings.