update hdnum

5 anos atrás · 333cd04e58
--- a/sose2020/num/hdnum
+++ b/sose2020/num/hdnum
@@ -1 +1 @@
 Subproject commit 206ffcacaf32199b4d284d720db004bdde8a03c0
 Subproject commit 7ebd4e5759ba3bd60dc47bd51e16d2cd07699a3f