From e9f55783091fb1d5c07059be865d9d1fb02d3bfa Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 5 Mar 2019 22:30:34 +0100
Subject: Parse doubles

---
 dhall_parser/src/dhall.pest.visibility | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall_parser/src/dhall.pest.visibility')

diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility
index b3a2660..08171b3 100644
--- a/dhall_parser/src/dhall.pest.visibility
+++ b/dhall_parser/src/dhall.pest.visibility
@@ -37,7 +37,7 @@ single_quote_literal
 # Optional_raw
 # Text_raw
 # List_raw
-Infinity_raw
+# Infinity_raw
 # if_
 # then
 # else_
-- 
cgit v1.2.3