diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-19 04:46:18 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-19 04:46:18 +0000 |
commit | 1b57d4a77c5d32068d29bf3772d756c2c844e361 (patch) | |
tree | 2e671f8141ef345022b7196ec81b6abbacce66f3 /decoder/cdec.cc | |
parent | 6ba469b231c727fbfea5c831852d231247e24526 (diff) |
ValueArray instead of string for state is 10% faster
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@599 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'decoder/cdec.cc')
-rw-r--r-- | decoder/cdec.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/decoder/cdec.cc b/decoder/cdec.cc index a4c3613b..ca6284f6 100644 --- a/decoder/cdec.cc +++ b/decoder/cdec.cc @@ -881,5 +881,7 @@ int main(int argc, char** argv) { cout << "0\t**OBJ**=" << acc_obj << ';' << acc_vec << endl << flush; } } + exit(0); // maybe this will save some destruction overhead. or g++ without cxx_atexit needed? + return 0; } |