From 3aa1afdf513920dbdee2d2bbd7b8fae82d20b51b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 8 May 2014 14:15:28 -0700 Subject: [PATCH] refactor(util): file name convention Signed-off-by: Leonardo de Moura --- src/library/kernel_bindings.cpp | 4 ++-- src/util/{list_lua.h => lua_list.h} | 0 src/util/{pair_lua.h => lua_pair.h} | 0 src/util/name.cpp | 2 +- 4 files changed, 3 insertions(+), 3 deletions(-) rename src/util/{list_lua.h => lua_list.h} (100%) rename src/util/{pair_lua.h => lua_pair.h} (100%) diff --git a/src/library/kernel_bindings.cpp b/src/library/kernel_bindings.cpp index 21de2b9a71..be63a1b4f9 100644 --- a/src/library/kernel_bindings.cpp +++ b/src/library/kernel_bindings.cpp @@ -8,8 +8,8 @@ Author: Leonardo de Moura #include #include "util/sstream.h" #include "util/script_state.h" -#include "util/list_lua.h" -#include "util/pair_lua.h" +#include "util/lua_list.h" +#include "util/lua_pair.h" #include "util/lua_named_param.h" #include "util/luaref.h" #include "kernel/abstract.h" diff --git a/src/util/list_lua.h b/src/util/lua_list.h similarity index 100% rename from src/util/list_lua.h rename to src/util/lua_list.h diff --git a/src/util/pair_lua.h b/src/util/lua_pair.h similarity index 100% rename from src/util/pair_lua.h rename to src/util/lua_pair.h diff --git a/src/util/name.cpp b/src/util/name.cpp index dc3236a333..552b32c1a8 100644 --- a/src/util/name.cpp +++ b/src/util/name.cpp @@ -19,7 +19,7 @@ Author: Leonardo de Moura #include "util/trace.h" #include "util/ascii.h" #include "util/object_serializer.h" -#include "util/list_lua.h" +#include "util/lua_list.h" namespace lean { constexpr char const * anonymous_str = "[anonymous]";