search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Fix use std::prelude #79

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Sometimes the prelude is used as use ::std::prelude:: ... and sometimes as use std::prelude:: .... This PR let's stainless ignore both of them.