diff --git a/shell_wrapper/ahe.rs b/shell_wrapper/ahe.rs
index e182c5f..811c744 100644
--- a/shell_wrapper/ahe.rs
+++ b/shell_wrapper/ahe.rs
@@ -53,7 +53,6 @@ mod ffi {
         type IntegerDiscreteGaussianSampler;
         type ConstRnsContext;
         type RnsContext = shell_types::ffi::RnsContext;
-        type ModularInt;
 
         pub unsafe fn CreateAhePublicParameters(
             log_n: u64,