summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src
diff options
context:
space:
mode:
authorNadrieril2019-08-07 21:18:11 +0200
committerNadrieril2019-08-07 21:18:11 +0200
commit51c4f79fe092191d670ffa2f9098693079dbc1be (patch)
tree694f9e26b062388a88143d326bf8a05781b36316 /dhall_generated_parser/src
parentd248762095908246951b6aa6c211587c6e333c0e (diff)
Add truncated Natural subtraction
Diffstat (limited to 'dhall_generated_parser/src')
-rw-r--r--dhall_generated_parser/src/dhall.pest.visibility1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility
index dd54578..de6dc8d 100644
--- a/dhall_generated_parser/src/dhall.pest.visibility
+++ b/dhall_generated_parser/src/dhall.pest.visibility
@@ -71,6 +71,7 @@ Location
# Natural_show
# Integer_toDouble
# Integer_show
+# Natural_subtract
# Double_show
# List_build
# List_fold