Fix an applicable restart test that failed to return T when the condition is NIL.
Many thanks to Juan Jose Garcia-Ripoll for diagnosing the issue.
Please register or sign in to comment
Many thanks to Juan Jose Garcia-Ripoll for diagnosing the issue.