diff options
author | Waleed Ammar <wammar@cs.cmu.edu> | 2012-07-02 16:51:21 -0400 |
---|---|---|
committer | Waleed Ammar <wammar@cs.cmu.edu> | 2012-07-02 16:51:21 -0400 |
commit | 112a459dcc56072a65cacc9a233861b658ccd388 (patch) | |
tree | 5bd46d84768ca73a6ff0e543492171891f8b2db3 /dpmert/line_optimizer.cc | |
parent | 9619c91e3eea2e5eb13d42e02d39730189ebc577 (diff) |
(1) allow prefixes and separators used in feature instantiations to be configured. (2) minor refactoring.
Diffstat (limited to 'dpmert/line_optimizer.cc')
0 files changed, 0 insertions, 0 deletions