X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsession.c;h=90922f3b244e455b6b88b401b5bcf42ad549b8b4;hb=15d30a4c251fe810f3697bd287afdc8b1699487d;hp=ae37c76b945c8ae9c69288313f69db41d5b24c15;hpb=1ddcc5a5097c522c8609abd5037e27dfaffb4264;p=pspp

diff --git a/src/data/session.c b/src/data/session.c
index ae37c76b94..90922f3b24 100644
--- a/src/data/session.c
+++ b/src/data/session.c
@@ -178,7 +178,7 @@ session_get_dataset_by_seqno (const struct session *s, unsigned int seqno)
   return NULL;
 }
 
-/* Returns an identifier that is is not currently in use as a dataset name.
+/* Returns an identifier that is not currently in use as a dataset name.
    The caller must free the returned identifier, with free(). */
 char *
 session_generate_dataset_name (struct session *s)