FIX remove phan error

hregis · Oct 11, 2024 · 5613b9b · 5613b9b
1 parent 12d929b
commit 5613b9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/htdocs/societe/contact.php b/htdocs/societe/contact.php
@@ -141,7 +141,7 @@
 		$contact = new Contact($db);
 
 		$result = $contact->fetch($id);
-		$contact->oldcopy = clone $contact;
+		$contact->oldcopy = clone $contact; // @phan-suppress-currentline PhanTypeMismatchProperty
 
 		$result = $contact->delete($user);