git.delta.rocks / jrsonnet / refs/commits / 434a7a46f28c

difftreelog

fix --tla-str-path imported the wrong file

kkxqqwvyYaroslav Bolyukin2026-07-28parent: #9c66309.patch.diff
in: master

1 file changed

modifiedcrates/jrsonnet-cli/src/tla.rsdiffbeforeafterboth
40		for ext in &self.tla_str_file {40		for ext in &self.tla_str_file {
41			out.insert(41			out.insert(
42				ext.name.as_str().into(),42				ext.name.as_str().into(),
43				TlaArg::ImportStr(ext.name.as_str().into()),43				TlaArg::ImportStr(ext.path.clone()),
44			);44			);
45		}45		}
46		for ext in &self.tla_code {46		for ext in &self.tla_code {