minor fix for recognizing the tail backslash, still have smt-lib compliance issue.
authorTianyi Liang <tianyi-liang@uiowa.edu>
Wed, 12 Feb 2014 00:08:53 +0000 (18:08 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Wed, 12 Feb 2014 00:08:53 +0000 (18:08 -0600)
commitcbf8dffcd17e70d4d4c7d8d1e57bcb16317d246f
tree5895379da59fb2bfceeff431b11541ea10018494
parentbd0072e146a4ca2acc509af59f745dca7a69ef1d
minor fix for recognizing the tail backslash, still have smt-lib compliance issue.
src/util/regexp.h