diff --git a/sose2020/num/hdnum b/sose2020/num/hdnum
index 206ffca..7ebd4e5 160000
--- a/sose2020/num/hdnum
+++ b/sose2020/num/hdnum
@@ -1 +1 @@
-Subproject commit 206ffcacaf32199b4d284d720db004bdde8a03c0
+Subproject commit 7ebd4e5759ba3bd60dc47bd51e16d2cd07699a3f