diff -r fb911f72e698 -r c5d8bd1a7728 src/main.rs --- a/src/main.rs Mon Jan 06 11:32:57 2025 -0500 +++ b/src/main.rs Thu Jan 23 23:35:28 2025 +0100 @@ -37,8 +37,8 @@ pub mod tolerance; pub mod regularisation; pub mod dataterm; +pub mod prox_penalty; pub mod fb; -pub mod radon_fb; pub mod sliding_fb; pub mod sliding_pdps; pub mod forward_pdps;