X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fsession.c;h=90922f3b244e455b6b88b401b5bcf42ad549b8b4;hb=refs%2Fheads%2Fctables13;hp=ae37c76b945c8ae9c69288313f69db41d5b24c15;hpb=e2da62d735c597afeef2e0e9b36e5a4a83d7da94;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)