From 65000fa653a2bd12d618b05aa4a72defc6daf6ee Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 9 Sep 2014 14:02:48 -0700
Subject: [PATCH] feat(library/coercion): rename class to 'coercions'

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

diff --git a/src/library/coercion.cpp b/src/library/coercion.cpp
index 8331f0091e..2b64f81515 100644
--- a/src/library/coercion.cpp
+++ b/src/library/coercion.cpp
@@ -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() {