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

feat(util/name): use '.' instead of '::' as hierarchical name separator

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-16 12:35:43 -07:00
parent 91a1b62b9e
commit 28329a55b0
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/util/name.h
View file

@ -14,7 +14,7 @@ Author: Leonardo de Moura
#include "util/list.h" #include "util/list.h"
namespace lean { namespace lean {
constexpr char const * lean_name_separator = "::"; constexpr char const * lean_name_separator = ".";
enum class name_kind { ANONYMOUS, STRING, NUMERAL }; enum class name_kind { ANONYMOUS, STRING, NUMERAL };
/** /**
\brief Hierarchical names. \brief Hierarchical names.