diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/imports.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/imports.rs b/dhall/src/imports.rs index 9ae66a7..d9f0b33 100644 --- a/dhall/src/imports.rs +++ b/dhall/src/imports.rs @@ -75,7 +75,7 @@ pub fn load_dhall_file( let mut buffer = String::new(); File::open(f)?.read_to_string(&mut buffer)?; let expr = parser::parse_expr(&*buffer)?; - let expr = expr.take_ownership_of_labels(); + let expr = expr.map_label(&|l| String::from(l.clone())); let expr = if resolve_imports { let root = ImportRoot::LocalDir(f.parent().unwrap().to_owned()); let resolve = |import: &Import| -> Expr<String, X, X> { |