diff --git a/.idea/vcs.xml b/.idea/vcs.xml
index f896f2d..3377838 100644
--- a/.idea/vcs.xml
+++ b/.idea/vcs.xml
@@ -3,5 +3,6 @@
   <component name="VcsDirectoryMappings">
     <mapping directory="$PROJECT_DIR$" vcs="Git" />
     <mapping directory="$PROJECT_DIR$/lib/libflint" vcs="Git" />
+    <mapping directory="$PROJECT_DIR$/lib/uthash" vcs="Git" />
   </component>
 </project>
\ No newline at end of file
diff --git a/lib/uthash b/lib/uthash
index bf15263..44a66fe 160000
--- a/lib/uthash
+++ b/lib/uthash
@@ -1 +1 @@
-Subproject commit bf15263081be6229be31addd48566df93921cb46
+Subproject commit 44a66fe8e008c0a7f1c5af96f4a4cdf304b8bc81