Remove unused locally_static_i

nickg · Apr 19, 2015 · 7c50ed4 · 7c50ed4
1 parent 0be5a6f
commit 7c50ed4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/common.c b/src/common.c
@@ -701,7 +701,6 @@ void intern_strings(void)
    builtin_i        = ident_new("builtin");
    std_standard_i   = ident_new("STD.STANDARD");
    formal_i         = ident_new("formal");
-   locally_static_i = ident_new("locally_static");
    elab_copy_i      = ident_new("elab_copy");
    all_i            = ident_new("all");
    shared_i         = ident_new("shared");

diff --git a/src/common.h b/src/common.h
@@ -133,7 +133,6 @@ typedef enum {
 GLOBAL ident_t builtin_i;
 GLOBAL ident_t std_standard_i;
 GLOBAL ident_t formal_i;
-GLOBAL ident_t locally_static_i;
 GLOBAL ident_t elab_copy_i;
 GLOBAL ident_t all_i;
 GLOBAL ident_t shared_i;