diff --git a/lib/libflint b/lib/libflint index 8660853..fc508da 160000 --- a/lib/libflint +++ b/lib/libflint @@ -1 +1 @@ -Subproject commit 8660853f25d4de5e7adf1dd8361c3397914a2e57 +Subproject commit fc508da8fe7ce794ec7f9cdf274ca0ec0ec709b7 diff --git a/lib/uthash b/lib/uthash index 44a66fe..095425f 160000 --- a/lib/uthash +++ b/lib/uthash @@ -1 +1 @@ -Subproject commit 44a66fe8e008c0a7f1c5af96f4a4cdf304b8bc81 +Subproject commit 095425f7fe01904b28a8a95c74a231470016f7ac