From 28329a55b0f06fcbac71f77d0434090e906a151e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 16 May 2014 12:35:43 -0700
Subject: [PATCH] feat(util/name): use '.' instead of '::' as hierarchical name
 separator

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/name.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/name.h b/src/util/name.h
index fe5c46004c..306eaa7858 100644
--- a/src/util/name.h
+++ b/src/util/name.h
@@ -14,7 +14,7 @@ Author: Leonardo de Moura
 #include "util/list.h"
 
 namespace lean {
-constexpr char const * lean_name_separator = "::";
+constexpr char const * lean_name_separator = ".";
 enum class name_kind { ANONYMOUS, STRING, NUMERAL };
 /**
    \brief Hierarchical names.