From 76b5cc95466733c2c100a99127ecd4fbd4d2a5ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Corentin=20No=C3=ABl?= <corentin@elementary.io>
Date: Fri, 4 Oct 2019 00:01:57 +0200
Subject: [PATCH] ClipboardManager: cast the callback function (#1054)

Fixes build with latest Vala
---
 src/ClipboardManager.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ClipboardManager.vala b/src/ClipboardManager.vala
index 9e3d25791..3dd72e471 100644
--- a/src/ClipboardManager.vala
+++ b/src/ClipboardManager.vala
@@ -173,7 +173,7 @@ namespace Marlin {
                                                target_file,
                                                action,
                                                widget,
-                                               new_files_callback);
+                                               (Marlin.CopyCallback) new_files_callback);
             }
 
             /* clear the clipboard if it contained "cutted data"