minor change for strings-fmf
minor change for strings-fmf
Merge branch 'master' of github.com:tiliang/CVC4
adds intro vars length cache