diff --git a/gadgets/src/arithmetic/div.rs b/gadgets/src/arithmetic/div.rs
deleted file mode 100644
index e8dbcbc860..0000000000
--- a/gadgets/src/arithmetic/div.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// // Copyright (C) 2019-2021 Aleo Systems Inc.
-// // This file is part of the Leo library.
-//
-// // The Leo library is free software: you can redistribute it and/or modify
-// // it under the terms of the GNU General Public License as published by
-// // the Free Software Foundation, either version 3 of the License, or
-// // (at your option) any later version.
-//
-// // The Leo library is distributed in the hope that it will be useful,
-// // but WITHOUT ANY WARRANTY; without even the implied warranty of
-// // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-// // GNU General Public License for more details.
-//
-// // You should have received a copy of the GNU General Public License
-// // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
-//
-// use snarkvm_fields::Field;
-// use snarkvm_r1cs::ConstraintSystem;
-//
-// /// Returns division of `self` / `other` in the constraint system.
-// pub trait Div<F: Field, Rhs = Self>
-// where
-//     Self: std::marker::Sized,
-// {
-//     type ErrorType;
-//
-//     fn div<CS: ConstraintSystem<F>>(&self, cs: CS, other: &Self) -> Result<Self, Self::ErrorType>;
-// }
diff --git a/gadgets/src/arithmetic/mod.rs b/gadgets/src/arithmetic/mod.rs
index 30a1662136..2a86235dd5 100644
--- a/gadgets/src/arithmetic/mod.rs
+++ b/gadgets/src/arithmetic/mod.rs
@@ -14,9 +14,6 @@
 // You should have received a copy of the GNU General Public License
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
-// pub mod div;
-// pub use self::div::*;
-
 pub mod mul;
 pub use self::mul::*;