You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since we're favoring a structure with an inequality in bool for prob, the constructor mk_ might turn out to be superfluous after all. Investigate its removal.
infotheo/lib/Reals_ext.v
Line 387 in fdba7c4
Since we're favoring a structure with an inequality in
bool
forprob
, the constructormk_
might turn out to be superfluous after all. Investigate its removal.Cc: @t6s
The text was updated successfully, but these errors were encountered: