diff --git a/mex/sources/libkorder/tl/equivalence.cc b/mex/sources/libkorder/tl/equivalence.cc
index d471bcca84a03619718dd1b049be8d59411e5351..3b348b4ced54f3f0c1670cb33dd05a28ac130a73 100644
--- a/mex/sources/libkorder/tl/equivalence.cc
+++ b/mex/sources/libkorder/tl/equivalence.cc
@@ -77,12 +77,8 @@ OrdSequence::add(int i)
 void
 OrdSequence::add(const OrdSequence& s)
 {
-  auto vit = s.data.begin();
-  while (vit != s.data.end())
-    {
-      add(*vit);
-      ++vit;
-    }
+  for (int i : s.data)
+    add(i);
 }
 
 /* Answers true if a given number is in the class. */