From 0b4bd76e6bcb46074719f950f2b8e2cd464d117d Mon Sep 17 00:00:00 2001 From: Holden Rohrer Date: Wed, 6 Dec 2023 17:16:54 -0500 Subject: old changes I had lying around Looks like I was trying to implement an splint linter here in order to disprove null check errors. This whole thing seems pretty useless except as a C exercise. Why not just use a Wiki or Knuth's WEB or org-mode or a text file with indentation? --- ll.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'll.h') diff --git a/ll.h b/ll.h index 9a80182..cea6010 100644 --- a/ll.h +++ b/ll.h @@ -7,6 +7,6 @@ typedef struct llnode { struct llnode* next; } llnode; -llnode* appendll(llnode* tail, char* str); +llnode* appendll(llnode* tail, /*@notnull@*/char* str); #endif -- cgit