From 572608d158772cef6562b8c34f370fff98855174 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 27 Nov 2014 13:43:01 -0800
Subject: spec_tests.py:  Replace → with tab when dumping json.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec_tests.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec_tests.py b/spec_tests.py
index da3f550..6e0d4cc 100755
--- a/spec_tests.py
+++ b/spec_tests.py
@@ -264,7 +264,7 @@ def do_tests(specfile, prog, pattern, normalize, dump_tests):
                     if active:
                         if dump_tests:
                             tests_json.append({
-                                 "markdown":''.join(markdown_lines),
+                                 "markdown":''.join(markdown_lines).replace('→',"\t"),
                                  "html":''.join(html_lines),
                                  "example": example_number,
                                  "start_line": start_line,
-- 
cgit v1.2.3