*** empty log message ***

[splint.git] / lib / unix.lcd

diff --git a/lib/unix.lcd b/lib/unix.lcd
index 194f09ca7be174941596790773457c179f684ebd..38e430612d6a95ab8b8ad670642ef6ae539d7650 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -2035,7 +2035,7 @@
 ^741 933$@0@s3,g22@6@0@1@s3,g22$@0#rmdir
 ^742 935$@0@g22@6@0,s3@1@g22,s3$@0#setgid
 ^743 937$@0@g22@6@0,s3@1@g22,s3$@0#setpgid
-^744 939$^$@0#setsid
+^744 939$@0@s3@1@s3$@0#setsid
 ^745 941$@0@g22@6@0,s3@1@g22,s3$@0#setuid
 ^746 943$@0@s3@1@s3$@0#sleep
 ^747 945$@0@g22@6@0@1@g22$@0#sysconf
@@ -2819,7 +2819,7 @@ l
 3
 2
 2
-Result
+Param 23 0
 r
 0
 1