This fixes the build issues that I'm seeing locally on machine. As mentioned in https://github.com/hacl-star/merkle-tree/pull/19#issuecomment-1932832715, the build works fine without hints files and with the new ones, it's just the ones which are currently checked in that break the build for me.
This fixes the build issues that I'm seeing locally on machine. As mentioned in https://github.com/hacl-star/merkle-tree/pull/19#issuecomment-1932832715, the build works fine without hints files and with the new ones, it's just the ones which are currently checked in that break the build for me.
cc @mtzguido