diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2013-09-30 13:56:51 -0400 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2013-09-30 13:56:51 -0400 |
| commit | 7d2265eb2b5dc96ddff04211959e208b1cb8a7f0 (patch) | |
| tree | 26fb270349580c90efe163ca7767bccce6607902 /src/prop/minisat/mtl/Vec.h | |
| parent | db6df44574927f9b75db664e1e490f757725d13a (diff) | |
| parent | 0c2eafec69b694a507ac914bf285fe0574be085f (diff) | |
merged golden
Diffstat (limited to 'src/prop/minisat/mtl/Vec.h')
| -rw-r--r-- | src/prop/minisat/mtl/Vec.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/minisat/mtl/Vec.h b/src/prop/minisat/mtl/Vec.h index 5d8c2850e..5f85f6fcd 100644 --- a/src/prop/minisat/mtl/Vec.h +++ b/src/prop/minisat/mtl/Vec.h @@ -86,7 +86,7 @@ public: const T& operator [] (int index) const { return data[index]; } T& operator [] (int index) { return data[index]; } - // Duplicatation (preferred instead): + // Duplication (preferred instead): void copyTo(vec<T>& copy) const { copy.clear(); copy.growTo(sz); for (int i = 0; i < sz; i++) copy[i] = data[i]; } void moveTo(vec<T>& dest) { dest.clear(true); dest.data = data; dest.sz = sz; dest.cap = cap; data = NULL; sz = 0; cap = 0; } }; |