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/type-inference/failure/unit/AssertAlphaTrap.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/tests/type-inference/failure')

diff --git a/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
index 0798b19..7241266 100644
--- a/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
@@ -1,4 +1,4 @@
-Type error: error: unbound variable ``_``
+Type error: error: unbound variable `_`
  --> <current file>:1:47
   |
 1 | assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)
-- 
cgit v1.2.3