summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/main.rs')
-rw-r--r--dhall/src/main.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index 349af3d..edc6baf 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -65,7 +65,7 @@ fn main() {
}
};
- let expr: Expr<Label, _, _> = imports::panic_imports(&expr);
+ let expr: Expr<_, _> = imports::panic_imports(&expr);
let type_expr = match typecheck::type_of(&expr) {
Err(e) => {