diff -r dbde25a5bc53 -r c03c338a7dcf ui/gtk/toolkit.h
--- a/ui/gtk/toolkit.h	Tue Jan 24 18:46:47 2017 +0100
+++ b/ui/gtk/toolkit.h	Fri Nov 10 17:17:14 2017 +0100
@@ -1,7 +1,7 @@
 /*
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
  *
- * Copyright 2014 Olaf Wintermann. All rights reserved.
+ * Copyright 2017 Olaf Wintermann. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are met:
@@ -62,6 +62,8 @@
 
 void ui_destroy_userdata(GtkWidget *object, void *userdata);
 
+void ui_destroy_boundvar(UiContext *ctx, UiVar *var);
+
 void ui_set_active_window(UiObject *obj);
 UiObject *ui_get_active_window();