From 8271983aeaab86d343853d8888637ee09d8c1bf1 Mon Sep 17 00:00:00 2001 From: Pavel Golovin Date: Mon, 15 Jul 2024 15:29:17 +0200 Subject: [PATCH] motoko-san: fixup option test after rebase --- test/viper/ok/option.tc.ok | 1 + test/viper/ok/option.vpr.stderr.ok | 1 + 2 files changed, 2 insertions(+) diff --git a/test/viper/ok/option.tc.ok b/test/viper/ok/option.tc.ok index 4bf07543b89..7be3393b98c 100644 --- a/test/viper/ok/option.tc.ok +++ b/test/viper/ok/option.tc.ok @@ -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`) diff --git a/test/viper/ok/option.vpr.stderr.ok b/test/viper/ok/option.vpr.stderr.ok index 4bf07543b89..7be3393b98c 100644 --- a/test/viper/ok/option.vpr.stderr.ok +++ b/test/viper/ok/option.vpr.stderr.ok @@ -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`)