Why not replace
|
function No_Errors |
|
(WF : in out Wavefile) return Boolean |
|
is (for all Error of WF.Errors => Error = False); |
with
function No_Errors (WF : in out Wavefile) return Boolean is
(for all Error of WF.Errors => not Error);
Problem detected and solved by Rejuvenation-Ada crate

Why not replace
audio_wavefiles/src/audio-wavefiles.adb
Lines 50 to 52 in 8e1162c
with
Problem detected and solved by Rejuvenation-Ada crate
