Skip to content

remove println

678d725
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix the error that Kani panics when there is no external parameter in quantifier's closure. #4088

remove println
678d725
Select commit
Loading
Failed to load commit list.