search

prove-rs / z3.rs

Rust bindings for the Z3 solver.
347 stars 110 forks source link

Remove unused attribute allow(unused_comparisons) #175

Closed SeeSpring closed 2 years ago

SeeSpring commented 2 years ago

This removes a warning