From 94f8d57af94a3bba3c04f37ef0bd0b1e662e3c32 Mon Sep 17 00:00:00 2001
From: Alessio Di Mauro <alessio@yubico.com>
Date: Fri, 6 Nov 2015 16:10:35 +0100
Subject: [PATCH] YKCS11: minor fix.

---
 ykcs11/yubico_token.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ykcs11/yubico_token.c b/ykcs11/yubico_token.c
index 25da01a..7210a29 100644
--- a/ykcs11/yubico_token.c
+++ b/ykcs11/yubico_token.c
@@ -123,7 +123,7 @@ CK_RV YUBICO_get_token_manufacturer(CK_UTF8CHAR_PTR str, CK_ULONG len) {
   return CKR_OK;
 
 }
-#include "debug.h"
+
 CK_RV YUBICO_get_token_model(ykpiv_state *state, CK_UTF8CHAR_PTR str, CK_ULONG len) {
 
   char buf[16];