[master] 6f48616e2 flint: Relax certain VTE functions

[Dridi Boukelmoune]

commit 6f48616e215c8364e7c9cef56ad7b6f9bf06b0fa
Author: Dridi Boukelmoune <dridi.boukelmoune at gmail.com>
Date:   Tue Aug 22 08:13:30 2023 +0200

    flint: Relax certain VTE functions

diff --git a/flint.lnt b/flint.lnt
index fc618608f..aade0a8a2 100644
--- a/flint.lnt
+++ b/flint.lnt
@@ -208,6 +208,14 @@
 -esym(534, VSB_printf)
 -esym(534, VSB_vprintf)
 
+///////////////////////////////////////////////////////////////////////
+// <vte.h>
+
+// ignore retval
+-esym(534, VTE_cat)
+-esym(534, VTE_putc)
+-esym(534, VTE_printf)
+
 ///////////////////////////////////////////////////////////////////////
 // <vtree.h>