Use std::stable_sort() instead of std::sort()

[stockfish] / src / ucioption.cpp

diff --git a/src/ucioption.cpp b/src/ucioption.cpp
index 1b8665546a20297d1047c564db736cec0f7800ea..6e727954e68095a6896a03ac3fc5f1fbc2a4db74 100644 (file)
--- a/src/ucioption.cpp
+++ b/src/ucioption.cpp
@@ -210,7 +210,7 @@ void print_uci_options() {
   for (Options::const_iterator it = options.begin(); it != options.end(); ++it)
       vec.push_back(it->second);
 
-  std::sort(vec.begin(), vec.end());
+  std::stable_sort(vec.begin(), vec.end());
 
   for (std::vector<Option>::const_iterator it = vec.begin(); it != vec.end(); ++it)
   {