Remove old attribute

runtimeverification · Feb 16, 2024 · 8e78cca · 8e78cca
1 parent 9b61e10
commit 8e78cca
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/include/kllvm/ast/attribute_set.h b/include/kllvm/ast/attribute_set.h
@@ -58,7 +58,6 @@ class attribute_set {
     macro_rec,
     nat,
     non_executable,
-    overload,
     priorities,
     priority,
     right,

diff --git a/lib/ast/attribute_set.cpp b/lib/ast/attribute_set.cpp
@@ -35,7 +35,6 @@ std::unordered_map<attribute_set::key, std::string> const &attribute_table() {
       {attribute_set::key::macro_rec, "macro-rec"},
       {attribute_set::key::nat, "nat"},
       {attribute_set::key::non_executable, "non-executable"},
-      {attribute_set::key::overload, "overload"},
       {attribute_set::key::priorities, "priorities"},
       {attribute_set::key::priority, "priority"},
       {attribute_set::key::right, "right"},