cfg binarization compiles

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@515 ec762483-ff6d-05da-a07a-a48fb63a330f

1 files changed, 1 insertions, 1 deletions

diff --git a/utils/small_vector.h b/utils/small_vector.h
index ae1e5727..077a524a 100644
--- a/utils/small_vector.h
+++ b/utils/small_vector.h
@@ -246,7 +246,7 @@ public:
     return !(a==b);
   }
 
-  void swap(Self& o) const {
+  void swap(Self& o) {
     swap_pod(*this,o);
   }