From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 24 Sep 2017 02:43:45 +0000 (-0700)
Subject: data-in: Fix parsing time delimiters in parse_date().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=34d33e60cba04371bf0705a2450a7768a7f6b876

data-in: Fix parsing time delimiters in parse_date().

Found by GCC 7.1.
Reported by John Darrington.
---

diff --git a/src/data/data-in.c b/src/data/data-in.c
index b0120677b3..3f1f9e7075 100644
--- a/src/data/data-in.c
+++ b/src/data/data-in.c
@@ -1185,6 +1185,7 @@ parse_date (struct data_in *i)
           break;
         case ':':
           error = parse_time_delimiter (i);
+          break;
         case ' ':
           if (i->format != FMT_MOYR)
             {