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                           ---- */