aboutsummaryrefslogtreecommitdiff
path: root/src/core/symbol_table.cc
diff options
context:
space:
mode:
authorRichard Qin <richard.qin.x@gmail.com>2026-04-04 05:21:26 +0800
committerRichard Qin <richard.qin.x@gmail.com>2026-04-04 05:21:26 +0800
commitbf4f464cec8b6515d9e5131d43847ef9b2fd21d1 (patch)
tree8cff611e6dab7473c3bb601e58658fa44f0fd86f /src/core/symbol_table.cc
parent6fac8eb886f1e60a5a075c48a5f7648bb537f74e (diff)
downloadratp-bf4f464cec8b6515d9e5131d43847ef9b2fd21d1.tar.gz
ratp-bf4f464cec8b6515d9e5131d43847ef9b2fd21d1.tar.xz
style: reformat codebase with consistent indentation
Diffstat (limited to 'src/core/symbol_table.cc')
-rw-r--r--src/core/symbol_table.cc8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/core/symbol_table.cc b/src/core/symbol_table.cc
index 261805a..42c7dd8 100644
--- a/src/core/symbol_table.cc
+++ b/src/core/symbol_table.cc
@@ -17,15 +17,16 @@
*/
#include "atp/core/symbol_table.h"
+
#include "atp/core/types.h"
+
#include <cstddef>
#include <stdexcept>
#include <string_view>
namespace atp {
-SymbolId SymbolTable::intern(std::string_view name, SymbolKind kind, uint16_t arity,
- SortId sort) {
+SymbolId SymbolTable::intern(std::string_view name, SymbolKind kind, uint16_t arity, SortId sort) {
auto it = name_to_id_.find(name);
if (it != name_to_id_.end()) {
SymbolId id = it->second;
@@ -58,5 +59,4 @@ size_t SymbolTable::size() const {
return infos_.size();
}
-} // namespace atp
-
+} // namespace atp