language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-30 04:44:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update python_util.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-08-11 12:09:39 +09:00
parent 1f07d8fc1a
commit 492d94959b
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/erg_common/python_util.rs
View file

@ -18,6 +18,7 @@ pub fn which_python() -> String {
if res == "" {
panic!("python not found");
}
dbg!(&res);
res
}