From 70d8ad8f34f5422128b5d9ba35ae26540ead41ac Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Mon, 10 Apr 2023 23:49:05 -0400
Subject: [PATCH] FIX add back decimal stuff

---
 dhall/common.dhall | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/dhall/common.dhall b/dhall/common.dhall
index 0a0ef72..de043d2 100644
--- a/dhall/common.dhall
+++ b/dhall/common.dhall
@@ -182,5 +182,9 @@ in      { nullSplit
         , mvDenP
         , mvDenN
         , PartSplit
+        , d
+        , d_
+        , dec
+        , dec2
         }
     /\  T