michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/class_instance_resolution): signature has changed

Browse source
This commit is contained in:
Leonardo de Moura 2015-12-09 07:14:39 -08:00
parent c6fc18a8d1
commit a3346e997b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/class_instance_resolution.cpp
View file

@ -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) { 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) 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 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) { optional<expr> mk_class_instance(environment const & env, local_context const & ctx, expr const & type) {