diff options
Diffstat (limited to 'Build/source/utils/asymptote/runstring.in')
-rw-r--r-- | Build/source/utils/asymptote/runstring.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/utils/asymptote/runstring.in b/Build/source/utils/asymptote/runstring.in index 3da636d325a..03fac3daf62 100644 --- a/Build/source/utils/asymptote/runstring.in +++ b/Build/source/utils/asymptote/runstring.in @@ -256,11 +256,11 @@ string format(string *format, Int x, string locale=emptystring) return out.str(); } -string format(string *format, string separator, real x, +string format(string *format, bool forcemath=false, string separator, real x, string locale=emptystring) { bool tex=getSetting<string>("tex") != "none"; - bool texify=false; + bool texify=forcemath; ostringstream out; const char *p0=format->c_str(); |