Commit b99b3682ca661c2fbe94bb1be49c447616e4250f

Thomas de Grivel 2024-03-26T10:36:57

better error message for unbound equal on both sides