Shared target operands in memory when possible.

1 files changed, 0 insertions, 6 deletions

diff --git a/src/arch/sharing/manager.h b/src/arch/sharing/manager.h
index f2fcea6..959087d 100644
--- a/src/arch/sharing/manager.h
+++ b/src/arch/sharing/manager.h
@@ -65,12 +65,6 @@ GSharedInstance *g_share_manager_get(GShareManager *, GSharedInstance *);
 /* Met à jour une instance partagée. */
 GSharedInstance *g_share_manager_update(GShareManager *, GSharedInstance *, GSharedInstance *, GShareContainer *);
 
-/* Prépare une modification légère et locale d'un élément. */
-size_t g_share_manager_prepare_light_update(GShareManager *, GSharedInstance *);
-
-/* Conclut une modification légère et locale d'un élément. */
-GSharedInstance *g_share_manager_complete_light_update(GShareManager *, GSharedInstance *, size_t);
-
 /* Abandonne un usage d'une instance partagée. */
 void g_share_manager_put(GShareManager *, GSharedInstance *);