Skip to content

Commit

Permalink
motoko-san: fixup option test after rebase
Browse files Browse the repository at this point in the history
  • Loading branch information
GoPavel committed Jul 16, 2024
1 parent 56d06a7 commit a5004c7
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions test/viper/ok/option.tc.ok
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,4 @@ option.mo:10.13-10.15: warning [M0194], unused identifier t4 (delete or rename t
option.mo:32.19-32.29: warning [M0194], unused identifier passOption (delete or rename to wildcard `_` or `_passOption`)
option.mo:33.13-33.15: warning [M0194], unused identifier a2 (delete or rename to wildcard `_` or `_a2`)
option.mo:36.18-36.27: warning [M0194], unused identifier callTuple (delete or rename to wildcard `_` or `_callTuple`)
option.mo:37.13-37.14: warning [M0194], unused identifier x (delete or rename to wildcard `_` or `_x`)
1 change: 1 addition & 0 deletions test/viper/ok/option.vpr.stderr.ok
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,4 @@ option.mo:10.13-10.15: warning [M0194], unused identifier t4 (delete or rename t
option.mo:32.19-32.29: warning [M0194], unused identifier passOption (delete or rename to wildcard `_` or `_passOption`)
option.mo:33.13-33.15: warning [M0194], unused identifier a2 (delete or rename to wildcard `_` or `_a2`)
option.mo:36.18-36.27: warning [M0194], unused identifier callTuple (delete or rename to wildcard `_` or `_callTuple`)
option.mo:37.13-37.14: warning [M0194], unused identifier x (delete or rename to wildcard `_` or `_x`)

0 comments on commit a5004c7

Please sign in to comment.