*** empty log message ***

[splint.git] / lib / posixstrict.lcd

diff --git a/lib/posixstrict.lcd b/lib/posixstrict.lcd
index b4a0f0aa0b9de68ede990d1bd273b63ff1b35cbf..e62b3f627c56d2a3a3f2c0940b6fc1b74e093b73 100644 (file)
--- a/lib/posixstrict.lcd
+++ b/lib/posixstrict.lcd
@@ -1504,7 +1504,7 @@
 ^741 896$@0@s3,g22@6@0@1@s3,g22$@0#rmdir
 ^742 898$@0@g22@6@0,s3@1@g22,s3$@0#setgid
 ^743 900$@0@g22@6@0,s3@1@g22,s3$@0#setpgid
-^744 902$^$@0#setsid
+^744 902$@0@s3@1@s3$@0#setsid
 ^745 904$@0@g22@6@0,s3@1@g22,s3$@0#setuid
 ^746 906$@0@s3@1@s3$@0#sleep
 ^747 908$@0@g22@6@0@1@g22$@0#sysconf
@@ -1950,7 +1950,7 @@ l
 3
 2
 2
-Result
+Param 23 0
 r
 0
 1