From 7b07f2023c1beec24767a9b8db9ac69116d552db Mon Sep 17 00:00:00 2001
From: Phillipp Schoppmann <schoppmann@google.com>
Date: Thu, 5 Feb 2026 12:29:23 -0800
Subject: [PATCH] Remove unneeded binding for ModularInt

PiperOrigin-RevId: 866062648
---
 shell_wrapper/ahe.rs | 1 -
 1 file changed, 1 deletion(-)

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,