diff --git a/creusot-contracts/src/ghost_ptr.rs b/creusot-contracts/src/ghost_ptr.rs
index ff1e2bc562..9db635d3ea 100644
--- a/creusot-contracts/src/ghost_ptr.rs
+++ b/creusot-contracts/src/ghost_ptr.rs
@@ -273,7 +273,7 @@ impl<'a, T: ?Sized> DerefMut for GhostPtrTokenMut<'a, T> {
 }
 
 #[trusted]
-impl<'a, T> Resolve for GhostPtrTokenMut<'a, T> {
+impl<'a, T: ?Sized> Resolve for GhostPtrTokenMut<'a, T> {
     #[predicate(prophetic)]
     #[open]
     fn resolve(self) -> bool {