From b58c14b5573597dcbc177515951eb1ff0d30c875 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= <fred.wang@free.fr>
Date: Thu, 31 Jan 2013 10:54:54 +0100
Subject: [PATCH] Replace "decimal" by "decimalsign" in AsciiMath input jax.
 Fix issue 384.

---
 unpacked/jax/input/AsciiMath/jax.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unpacked/jax/input/AsciiMath/jax.js b/unpacked/jax/input/AsciiMath/jax.js
index c44136566..18d79257f 100644
--- a/unpacked/jax/input/AsciiMath/jax.js
+++ b/unpacked/jax/input/AsciiMath/jax.js
@@ -1193,7 +1193,7 @@ ASCIIMATH.Augment({
   AM: {
     Init: function () {
       displaystyle = ASCIIMATH.config.displaystyle;
-      decimal      = ASCIIMATH.config.decimal;
+      decimalsign  = ASCIIMATH.config.decimal;
       INITASCIIMATH();
       AMinitSymbols();
     },