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

Update test.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-01-31 00:53:06 +09:00
parent b58a542f8e
commit 83cb2253e9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/test.rs
View file

@ -108,7 +108,7 @@ fn exec_dependent() -> Result<(), ()> {
#[test]
fn exec_dependent_refinement() -> Result<(), ()> {
expect_success("tests/should_ok/dependent_refinement.er", 0)
expect_compile_success("tests/should_ok/dependent_refinement.er", 0)
}
#[test]