From 0283d807196c796409a7d7151bd26be474b22246 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 27 Jul 2016 16:01:07 -0700
Subject: [PATCH] fix(library/type_context): most recent local instances have
 priority

---
 src/library/type_context.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) {