diff options
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 1 |
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" }, )?; |