hot fix for pre-reg term caching in strings
authorTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 17 Mar 2014 18:17:12 +0000 (13:17 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 17 Mar 2014 18:17:12 +0000 (13:17 -0500)
commit2b6343f2c8760676ae266122647bd87f07bbebd5
tree6b73f823fbdf1f3edf0f84646925f0321e207d88
parent2b2c656543cc4ee7051ff00211a56f45331a763c
hot fix for pre-reg term caching in strings
src/theory/strings/theory_strings.cpp
src/theory/strings/theory_strings.h