1 files changed, 2 insertions, 1 deletions
diff --git a/src/mint/mint_db.c b/src/mint/mint_db.c
index 372fc937d..af900b5d7 100644
--- a/src/mint/mint_db.c
+++ b/src/mint/mint_db.c
@@ -829,7 +829,8 @@ TALER_MINT_DB_get_refresh_session (PGconn *db_conn,
 
 
 int
-TALER_MINT_DB_get_known_coin (PGconn *db_conn, struct GNUNET_CRYPTO_EcdsaPublicKey *coin_pub,
+TALER_MINT_DB_get_known_coin (PGconn *db_conn,
+                              const struct GNUNET_CRYPTO_EcdsaPublicKey *coin_pub,
                               struct KnownCoin *known_coin)
 {
   int res;