From de35c7ac78f7abc65b0cd44ce2bb6ae09246d089 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Mesnil?= Date: Fri, 21 Apr 2017 08:14:15 +0200 Subject: [PATCH] Add missing decl --- src/gpg_api.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/gpg_api.h b/src/gpg_api.h index 8edd5e5..142a0d3 100644 --- a/src/gpg_api.h +++ b/src/gpg_api.h @@ -77,6 +77,10 @@ int gpg_io_fetch(unsigned char* buffer, int len) ; int gpg_io_do(unsigned int io_flags) ; +/* ----------------------------------------------------------------------- */ +/* --- TMP ---- */ +/* ----------------------------------------------------------------------- */ +void io_usb_ccid_set_card_inserted(unsigned int inserted); /* ----------------------------------------------------------------------- */ /* --- DEBUG ---- */