From 10a4b408461723402ddb3996968ca5de26f27469 Mon Sep 17 00:00:00 2001
From: Marius Arvinte <marius.arvinte@intel.com>
Date: Tue, 14 Apr 2026 17:59:53 -0700
Subject: [PATCH] Bugfix bindings (#616)

Fixes a bug related to invalid bindings for
symbols-under-test-and-translation.
---
 src/ideas/test_symbol.py | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/src/ideas/test_symbol.py b/src/ideas/test_symbol.py
index ddcd46f..6019e02 100644
--- a/src/ideas/test_symbol.py
+++ b/src/ideas/test_symbol.py
@@ -188,15 +188,6 @@ def forward(self, symbol: Symbol) -> bool:
         clang_make_extern_(self.crate.c_src_path, symbol.spelling)
         self.crate.vcs.add(self.crate.c_src_path)
 
-        # Remove reference to binding since we're testing it
-        binding_path = self.crate.rust_src_path.parent / "binding.rs"
-        orig_binding_src = binding_path.read_text()
-        binding_src = orig_binding_src.replace(f"pub mod {symbol.spelling};\n", "")
-        if binding_src == orig_binding_src:
-            logger.warning(f"Unable to find `{symbol.spelling}` in binding.rs!")
-        binding_path.write_text(binding_src)
-        self.crate.vcs.add(binding_path)
-
         # Run cargo test
         passes, output = self.test()
         msg = f"Tested symbol `{symbol.name}`"