2 files changed, 0 insertions, 2 deletions
diff --git a/src/stdlib/stdlib.c b/src/stdlib/stdlib.c
index cc0ea114..c1aba23c 100644
--- a/src/stdlib/stdlib.c
+++ b/src/stdlib/stdlib.c
@@ -490,7 +490,6 @@ public void start_inspect(const char *filename, int64_t start, int64_t end)
     _inspect_depth += 1;
 }
 
-__attribute__((nonnull))
 public void end_inspect(const void *expr, const TypeInfo_t *type)
 {
     _inspect_depth -= 1;
diff --git a/src/stdlib/stdlib.h b/src/stdlib/stdlib.h
index c4bf83e0..d60ff4fd 100644
--- a/src/stdlib/stdlib.h
+++ b/src/stdlib/stdlib.h
@@ -66,7 +66,6 @@ _Noreturn void fail_text(Text_t message);
 Text_t builtin_last_err();
 __attribute__((nonnull))
 void start_inspect(const char *filename, int64_t start, int64_t end);
-__attribute__((nonnull))
 void end_inspect(const void *expr, const TypeInfo_t *type);
 #define inspect(type, expr, typeinfo, start, end) {\
     start_inspect(__SOURCE_FILE__, start, end); \