+/*
+** This is pretty awkward --- when we find the real path of
+** a .xh file, we may need to change the recorded name. [Sigh]
+*/
+
+void
+fileTable_setFilePath (fileTable ft, fileId fid, cstring path)
+{
+ llassert (fileId_isValid (fid));
+ llassert (fileTable_isDefined (ft));
+ /* Need to put new string in hash table */
+ cstringTable_insert (ft->htable, cstring_copy (path), fid);
+ ft->elements[fid]->fname = cstring_copy (path);
+}
+