From c886c53f171c8a9e1a0e24787362b70d0933c976 Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Fri, 7 Jul 2023 20:50:55 -0400
Subject: [PATCH] FIX readd export

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

diff --git a/dhall/common.dhall b/dhall/common.dhall
index a8ca0ab..9c1ee71 100644
--- a/dhall/common.dhall
+++ b/dhall/common.dhall
@@ -156,5 +156,7 @@ in      { cron1
         , mvDenP
         , mvDenN
         , PartEntry
+        , nullEntry
+        , nullMod
         }
     /\  T