Ticket #3 (closed defect: fixed)
Problem with "input_value code mismatch"
|Reported by:||admin||Owned by:||somebody|
|Priority:||major||Milestone:||PML language stabilisation|
|Component:||PML proof-checker and compiler||Version:|
It seems that in some circonstancies (at least under OS X),
the checksum produced by an ocaml binary to check if closure comes from the same binary, changes even for the same binary.
This is hard to reproduce (pb occurs only on Tom's laptop)
This needs to be further investigated ...