sanei_usb: Fix build with libxml2 2.12

merge-requests/569/head
Jürg Billeter 2023-11-28 21:24:01 +01:00
rodzic 15795b8071
commit 3f727cfb8f
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -65,6 +65,7 @@
#include <time.h>
#if WITH_USB_RECORD_REPLAY
#include <libxml/parser.h>
#include <libxml/tree.h>
#endif