1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index 29e86e3..b6df3d0 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -259,6 +259,7 @@ fn main() -> std::io::Result<()> {
             || path == "success/unit/RecordProjectionByTypeJudgmentalEquality"
             // TODO: toMap
             || path == "success/unit/ToMap"
+            || path == "success/unit/ToMapAnnotated"
         },
     )?;