Skip to content
This repository was archived by the owner on Jan 30, 2026. It is now read-only.

Commit cfe2454

Browse files
committed
Simplify undef declared vars
1 parent 3c406bc commit cfe2454

1 file changed

Lines changed: 2 additions & 5 deletions

File tree

src/mlang/m_frontend/check_validity.ml

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -855,11 +855,8 @@ let warn_on_undef_computed_vars (rules : rule IntMap.t)
855855
match Com.Var.cat var with
856856
| Computed _ ->
857857
if not (StrSet.mem var_name def_vars) then
858-
Errors.print_spanned_warning
859-
(Format.asprintf
860-
"Variable %s is declared as computed but never defined"
861-
var_name)
862-
(Pos.get_position var.Com.Var.name)
858+
Cli.warning_print
859+
"Variable %s is declared as computed but never defined" var_name
863860
| Input _ -> ())
864861
vars
865862

0 commit comments

Comments
 (0)