From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 8 Aug 2015 08:01:35 +0000 (-0700)
Subject: dump: Apostrophe can be used as grouping character.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=a9f01c1af42d77653c69985c7b649e95e50c29a8

dump: Apostrophe can be used as grouping character.
---

diff --git a/dump.c b/dump.c
index 55ad4bc64c..976764dfe7 100644
--- a/dump.c
+++ b/dump.c
@@ -831,7 +831,7 @@ dump_fonts(void)
     match_u32_assert(UINT32_MAX);
   if (match_byte('.'))
     {
-      if (!match_byte(','))
+      if (!match_byte(',') && !match_byte('\''))
         match_byte_assert(' ');
     }
   else