diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-10-25 14:42:53 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-10-25 14:42:53 +0000 |
| commit | d18593895294b3d2203f7e6fab253f1b5835ff85 (patch) | |
| tree | 8c82ebafdc0a72ec75edc532c4b69cb101811390 /src/runtime/c/gu/map.h | |
| parent | 619c341ee9971bb6f8c263df2e8e84b4e06923ec (diff) | |
a major refactoring in the robust parser: bottom-up filtering and garbage collection for the chart
Diffstat (limited to 'src/runtime/c/gu/map.h')
| -rw-r--r-- | src/runtime/c/gu/map.h | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/runtime/c/gu/map.h b/src/runtime/c/gu/map.h index 6523a8057..327d6ea6a 100644 --- a/src/runtime/c/gu/map.h +++ b/src/runtime/c/gu/map.h @@ -52,12 +52,8 @@ gu_map_find(GuMap* ht, const void* key); const void* gu_map_find_key(GuMap* ht, const void* key); -static inline bool -gu_map_has(GuMap* ht, const void* key) -{ - return gu_map_find_key(ht, key) != NULL; -} - +bool +gu_map_has(GuMap* ht, const void* key); void* gu_map_insert(GuMap* ht, const void* key); |