search

epfl-lara / rust-stainless

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

Stainless flags overwrite default config #169

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

The STAINLESS_FLAGS given to the CLI should overwrite the defaults of the Config struct. This PR fixes that.