Commit e1ab1d84ce0442a133e1b9a2d33b675df7e0a43d

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

better error message for unbound equal on both sides