aboutsummaryrefslogtreecommitdiff
path: root/src/name_table.h
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-10-29 01:35:54 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-10-29 01:35:54 +0900
commitd28e80274828540a3278ef20c3250afb576773d4 (patch)
tree329944a21b8dc12653e2b3105fb8264df1fb3fad /src/name_table.h
parent8b6cf5aa982859035c015c95f31e989add9af238 (diff)
downloadinpla-d28e80274828540a3278ef20c3250afb576773d4.tar.gz
inpla-d28e80274828540a3278ef20c3250afb576773d4.zip
v0.5.0
Diffstat (limited to 'src/name_table.h')
-rw-r--r--src/name_table.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/name_table.h b/src/name_table.h
index 588c34d..1ba31a5 100644
--- a/src/name_table.h
+++ b/src/name_table.h
@@ -45,7 +45,7 @@ IDTYPE NameTable_get_set_id(char *key);
void NameTable_puts_all();
void NameTable_free_all();
-int NameTable_ckech_if_term_has_gname(VALUE term);
+int NameTable_check_if_term_has_gname(VALUE term);
int term_has_keynode(VALUE keynode, VALUE term);
int keynode_exists_in_another_term(VALUE keynode, VALUE *connected_from);