From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 4 Jan 2016 19:30:45 +0000 (+0100)
Subject: Fix bad syntax generation introduced by previous commit.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8855cb5d6ff72efd5bdb05b339cf9fb175991d5e;hp=8855cb5d6ff72efd5bdb05b339cf9fb175991d5e;p=pspp

Fix bad syntax generation introduced by previous commit.

Commit cdfb21de2cbbf921b4e1fe0662439da1c460eabc replaced syntax_gen_pspp
with g_string_append_printf which was wrong, because the latter is
sensitive to the user's locale, which is not desired for syntax generation.
---