diff --git a/lib/krb5/ticket.c b/lib/krb5/ticket.c
new file mode 100644
index 000000000..eb7bec073
--- /dev/null
+++ b/lib/krb5/ticket.c
@@ -0,0 +1,13 @@
+#include "krb5_locl.h"
+
+RCSID("$Id$");
+
+krb5_error_code
+krb5_free_ticket(krb5_context context,
+		 krb5_ticket *ticket)
+{
+    free_EncTicketPart(&ticket->ticket);
+    krb5_free_principal(context, ticket->client);
+    krb5_free_principal(context, ticket->server);
+    return 0;
+}