From f0c60c01bb078da639efd3aaf33bc2f0ff996169 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 26 Aug 2016 19:26:49 -0400 Subject: Import Json module from old Meta library (thanks to Edward Z. Yang for code contributions) --- tests/jsonTest.urp | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/jsonTest.urp (limited to 'tests/jsonTest.urp') diff --git a/tests/jsonTest.urp b/tests/jsonTest.urp new file mode 100644 index 00000000..0b606fa3 --- /dev/null +++ b/tests/jsonTest.urp @@ -0,0 +1,7 @@ +rewrite all JsonTest/* + +$/char +$/string +$/list +$/json +jsonTest -- cgit v1.2.3