diff --git a/src/library/type_context.cpp b/src/library/type_context.cpp
index e64da77d21..61d39c8010 100644
--- a/src/library/type_context.cpp
+++ b/src/library/type_context.cpp
@@ -2288,7 +2288,7 @@ struct instance_synthesizer {
             if (p.first == cname)
                 selected.push_back(p.second);
         }
-        return to_list(selected);
+        return reverse_to_list(selected);
     }
 
     bool mk_choice_point(expr const & mvar) {