In mlsource/extra/CInterface/Conversions/CONVERSIONS.ML, STRING' checks for a null pointer using if fromCint v = 0 ... but this should probably be if fromClong v = 0 ... for use on i386 and x86_64 architectures.
Log in to post a comment.