diff options
| author | Nadrieril | 2019-08-07 22:28:36 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-07 22:28:36 +0200 |
| commit | e81ab9a553bf82f20fa0b0344926258176a21dac (patch) | |
| tree | 725eaa49a4f2236d44470279296969b66ba0bbc8 /dhall/build.rs | |
| parent | c2cb7d38dfec05b6337aa5dcd0dc3068e73c9a58 (diff) | |
Update dhall-lang submodule
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" }, )?; |