aboutsummaryrefslogtreecommitdiff
path: root/types.c
diff options
context:
space:
mode:
Diffstat (limited to 'types.c')
-rw-r--r--types.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/types.c b/types.c
index 75a3797b..83effd0d 100644
--- a/types.c
+++ b/types.c
@@ -135,7 +135,7 @@ bool type_is_a(type_t *t, type_t *req)
return false;
}
-static type_t *non_optional(type_t *t)
+type_t *non_optional(type_t *t)
{
return t->tag == OptionalType ? Match(t, OptionalType)->type : t;
}