nit

Author: kpandl

synthesizer/src/restrictions/mod.rs

@@ -93,7 +93,6 @@ use indexmap::IndexMap;
 /// ## In the import section of the tests of `synthesizer/src/restrictions/mod.rs`:
 /// Make sure to import `console::types::Address`, e.g., by replacing `use console::types::I8;` with `use console::types::{Address, I8};`.
 ///
-///
 /// ## In the `test_restrictions_list_comparison function` of `synthesizer/src/restrictions/mod.rs`:
 /// ```rust
 /// // Set the network.