diff --git a/tools/discount b/tools/discount
index 8c670e04..c5a08735 160000
--- a/tools/discount
+++ b/tools/discount
@@ -1 +1 @@
-Subproject commit 8c670e04da38acdceeb4c32dbd26cb5f1c797fdb
+Subproject commit c5a08735f07c663d9812aeb74b968c6db5d28eb1