diff options
author | graehl@gmail.com <graehl@gmail.com@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-15 05:05:19 +0000 |
---|---|---|
committer | graehl@gmail.com <graehl@gmail.com@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-15 05:05:19 +0000 |
commit | 214c741eee9b01ccd05a1825ad9ed647adef41db (patch) | |
tree | 4164371d19ea6e62c6d801971d045edaf5bb5fdb /utils/batched_append.h | |
parent | 8078d0be612c4ff89e3cb7dd31af077c0be6d0d9 (diff) |
fixed binarization. test
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@554 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'utils/batched_append.h')
-rwxr-xr-x | utils/batched_append.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/batched_append.h b/utils/batched_append.h index 14a6d576..842f3209 100755 --- a/utils/batched_append.h +++ b/utils/batched_append.h @@ -13,7 +13,7 @@ void batched_append(Vector &v,SRange const& s) { template <class SRange,class Vector> void batched_append_swap(Vector &v,SRange & s) { - using namespace std; // to find the right swap + using namespace std; // to find the right swap via ADL size_t i=v.size(); size_t news=i+s.size(); v.resize(news); |