From 1d2e46cc81534f58f469b257c78fcf8313b459bb Mon Sep 17 00:00:00 2001
From: Minseong Jang <minseong.jang@cp.kaist.ac.kr>
Date: Thu, 21 Apr 2022 19:05:58 +0900
Subject: [PATCH] Allow dead code in opt utils

---
 src/opt/opt_utils.rs | 2 ++
 1 file changed, 2 insertions(+)

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)]