From 9bbaf409e220fa5e00ec6c19633ed827b428bb5d Mon Sep 17 00:00:00 2001
From: Esteve Soler Arderiu <esteve.soler@fratilia.com>
Date: Tue, 19 Dec 2023 13:02:33 +0100
Subject: [PATCH] Fix docs.

---
 melior/src/execution_engine.rs | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/melior/src/execution_engine.rs b/melior/src/execution_engine.rs
index 00a652eac6..2a77f29d08 100644
--- a/melior/src/execution_engine.rs
+++ b/melior/src/execution_engine.rs
@@ -36,12 +36,6 @@ impl ExecutionEngine {
     }
 
     /// Searches a symbol in a module and returns a pointer to it.
-    ///
-    /// # Safety
-    ///
-    /// This function modifies memory locations pointed by the `arguments`
-    /// argument. If those pointers are invalid or misaligned, calling this
-    /// function might result in undefined behavior.
     pub fn lookup(&self, name: &str) -> *mut () {
         unsafe { mlirExecutionEngineLookup(self.raw, StringRef::new(name).to_raw()) as *mut () }
     }