From 7a855c33cc2a9dc7ee650bf06ec83f49030c6334 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20H=C3=B6lzl?= Date: Wed, 31 May 2017 14:13:43 -0400 Subject: [PATCH] fix(leanpkg): keep timeout value when updating the manifest --- leanpkg/leanpkg/manifest.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/leanpkg/leanpkg/manifest.lean b/leanpkg/leanpkg/manifest.lean index 23249f16f8..fdf885e0de 100644 --- a/leanpkg/leanpkg/manifest.lean +++ b/leanpkg/leanpkg/manifest.lean @@ -75,7 +75,7 @@ return { name := n, version := ver, path := path, dependencies := deps, timeout def to_toml (d : manifest) : toml.value := let pkg := [("name", toml.value.str d.name), ("version", toml.value.str d.version)], pkg := match d.path with some p := pkg ++ [("path", toml.value.str p)] | none := pkg end, - timeout := match d.timeout with some t := pkg ++ [("timeout", toml.value.nat t)] | none := pkg end, + pkg := match d.timeout with some t := pkg ++ [("timeout", toml.value.nat t)] | none := pkg end, deps := toml.value.table $ d.dependencies.for $ λ dep, (dep.name, dep.src.to_toml) in toml.value.table [("package", toml.value.table pkg), ("dependencies", deps)]