diff options
Diffstat (limited to 'src/compile/optionals.h')
| -rw-r--r-- | src/compile/optionals.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/compile/optionals.h b/src/compile/optionals.h index d30aaefb..28ee25b9 100644 --- a/src/compile/optionals.h +++ b/src/compile/optionals.h @@ -11,5 +11,4 @@ Text_t optional_into_nonnone(type_t *t, Text_t value); Text_t promote_to_optional(type_t *t, Text_t code); Text_t compile_none(type_t *t); Text_t check_none(type_t *t, Text_t value); -Text_t compile_optional(env_t *env, ast_t *ast); Text_t compile_non_optional(env_t *env, ast_t *ast); |