From a3346e997b5e20c9c9bebd195b4296d5863cad05 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 9 Dec 2015 07:14:39 -0800
Subject: [PATCH] fix(library/class_instance_resolution): signature has changed

---
 src/library/class_instance_resolution.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/library/class_instance_resolution.cpp b/src/library/class_instance_resolution.cpp
index bd695ebc8..f9be1461f 100644
--- a/src/library/class_instance_resolution.cpp
+++ b/src/library/class_instance_resolution.cpp
@@ -181,9 +181,9 @@ pair<expr, constraint> mk_new_class_instance_elaborator(
 
 optional<expr> mk_class_instance(environment const & env, io_state const & ios, local_context const & ctx, expr const & type, bool use_local_instances) {
     if (use_local_instances)
-        return mk_class_instance(env, ios, ctx.get_data(), type, nullptr);
+        return mk_class_instance(env, ios.get_options(), ctx.get_data(), type, nullptr);
     else
-        return mk_class_instance(env, ios, list<expr>(), type, nullptr);
+        return mk_class_instance(env, ios.get_options(), list<expr>(), type, nullptr);
 }
 
 optional<expr> mk_class_instance(environment const & env, local_context const & ctx, expr const & type) {