diff --git a/src/opt/opt_utils.rs b/src/opt/opt_utils.rs index 9199548..30cc45d 100644 --- a/src/opt/opt_utils.rs +++ b/src/opt/opt_utils.rs @@ -1,3 +1,5 @@ //! Utilities for implementing optimizations. //! //! You can add here utilities commonly used in the implementation of multiple optimizations. + +#![allow(dead_code)]