*** empty log message ***

[splint.git] / src / mapping_chdir.c

diff --git a/src/mapping_chdir.c b/src/mapping_chdir.c
index 17f8206399cc62ce5d50d9b881246ea265e40632..718ad33a078aa8b20ab8fb66123e7a812bdc30de 100644 (file)
--- a/src/mapping_chdir.c
+++ b/src/mapping_chdir.c
@@ -58,7 +58,7 @@ int f()
     if (/*strcpy ("kl", "hjklhjklhjkljhjklhjkhjkhjklhjkl") && */mapping_chdir (chroot_pw->pw_dir)/* >= 0 */)
                      {
                        char f[1];
-                       ///     mapping_chdir (chroot_pw->pw_dir);
+                       /* mapping_chdir (chroot_pw->pw_dir); */
                        strcpy (f, "hjklhjklhjkljhjklhjkhjkhjklhjkl");
                        home = sgetsave (chroot_pw->pw_dir);