From daf142240bcd07c74adb449634b806003ff1fd1a Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 19 Oct 2018 09:47:10 +0200 Subject: [PATCH] fix(tests/lean/parsec1): fix test --- tests/lean/parsec1.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/lean/parsec1.lean b/tests/lean/parsec1.lean index 4fd0bb2f0b..c75177d977 100644 --- a/tests/lean/parsec1.lean +++ b/tests/lean/parsec1.lean @@ -83,8 +83,8 @@ open lean #eval test parse_string_literal "\"\"" "" #eval test parse_string_literal "\"\\\"\"" "\"" #eval test parse_string_literal "\"\\\'\"" "\'" -#eval test parse_string_literal "\"\\\n\"" "\n" -#eval test parse_string_literal "\"\\\t\"" "\t" +#eval test parse_string_literal "\"\\n\"" "\n" +#eval test parse_string_literal "\"\\t\"" "\t" #eval test parse_string_literal "\"\\x4e\"" "N" #eval test parse_string_literal "\"\\x4E\"" "N" #eval test parse_string_literal "\"\\x7D\"" "}"