From 5f3ca811f09dcf6f09fb9b60fcd2664d06762f39 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 28 Oct 2020 20:25:06 +0000
Subject: No need to escape underscores in pretty-printing

---
 dhall/tests/parser/success/unit/LambdaUnderscoreB.txt   | 2 +-
 dhall/tests/parser/success/unit/VariableUnderscoreB.txt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall/tests/parser/success/unit')

diff --git a/dhall/tests/parser/success/unit/LambdaUnderscoreB.txt b/dhall/tests/parser/success/unit/LambdaUnderscoreB.txt
index 10000d0..32719f0 100644
--- a/dhall/tests/parser/success/unit/LambdaUnderscoreB.txt
+++ b/dhall/tests/parser/success/unit/LambdaUnderscoreB.txt
@@ -1 +1 @@
-λ(`_` : T) → x
+λ(_ : T) → x
diff --git a/dhall/tests/parser/success/unit/VariableUnderscoreB.txt b/dhall/tests/parser/success/unit/VariableUnderscoreB.txt
index 5824cab..31354ec 100644
--- a/dhall/tests/parser/success/unit/VariableUnderscoreB.txt
+++ b/dhall/tests/parser/success/unit/VariableUnderscoreB.txt
@@ -1 +1 @@
-`_`
+_
-- 
cgit v1.2.3