refactor: Fix unused import and deprecated use

epi-project / policy-reasoner

Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.

1 stars 1 forks source link

refactor: Fix unused import and deprecated use #32

Closed DanielVoogsgerd closed 3 months ago

DanielVoogsgerd commented 3 months ago

Clean up the warnings given by cargo check.

Note maybe also run cargo clippy --fix as it has 24 fixes it could apply, but I don't dare right now.

Lut99 commented 3 months ago

Only 24 clippy warnings? Tsk, easy, compared to what sometimes is on the backlog for the main brane repo :P

I'll have a look at it, thanks!