[m-rev.] diff: fix erl_var_or_dummy_replacement

[Peter Wang]

Branches: main

compiler/erl_code_util.m:
	Fix inverted condition in erl_var_or_dummy_replacement.

diff --git a/compiler/erl_code_util.m b/compiler/erl_code_util.m
index f8fe759..85cc2e1 100644
--- a/compiler/erl_code_util.m
+++ b/compiler/erl_code_util.m
@@ -525,7 +525,7 @@ non_variable_term(Term) :-
 erl_var_or_dummy_replacement(ModuleInfo, VarTypes, DummyVarReplacement, Var) =
     (if
         map.search(VarTypes, Var, Type),
-        check_dummy_type(ModuleInfo, Type) = is_not_dummy_type
+        check_dummy_type(ModuleInfo, Type) = is_dummy_type
     then
         elds_term(DummyVarReplacement)
     else
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------