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

feat(library/coercion): rename class to 'coercions'

Browse source
This commit is contained in:
Leonardo de Moura 2014-09-09 14:02:48 -07:00
parent 38a4852e7d
commit 65000fa653
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/coercion.cpp
View file

@ -316,7 +316,7 @@ struct coercion_config {
s = add_coercion(env, ios, s, e.first, e.second);
}
static name const & get_class_name() {
static name g_class_name("coercion");
static name g_class_name("coercions");
return g_class_name;
}
static std::string const & get_serialization_key() {