diff --git a/src/post_modules/CritBit/.gitignore b/src/post_modules/CritBit/.gitignore index 3c4d1ab9e1acf44dedc5048cf4ae9163cc50b51d..14afa284d9484877d61f043f77c0d24a4738c88a 100644 --- a/src/post_modules/CritBit/.gitignore +++ b/src/post_modules/CritBit/.gitignore @@ -7,6 +7,7 @@ /dependencies /floattree.c /inttree.c +/stringtree.c /make_variables /propagated_variables /stamp-h