[fix] After renaming

oilshell · Jul 29, 2023 · 9390599 · 9390599
1 parent 936df3d
commit 9390599
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/devtools/typecheck-more.txt b/devtools/typecheck-more.txt
@@ -1,5 +1,3 @@
-tools/osh2oil.py
-
 # alternative main, for different interpreters
 bin/osh_parse.py
 bin/osh_eval.py

diff --git a/pea/oils-typecheck.txt b/pea/oils-typecheck.txt
@@ -85,7 +85,7 @@ pylib/cgi.py
 pylib/os_path.py
 pylib/path_stat.py
 tea/tea_main.py
-tools/osh2oil.py
+tools/ysh_ify.py
 ysh/builtin_json.py
 ysh/builtin_oil.py
 ysh/cpython.py