[m-rev.] diff: fix names of stm dummy predicates

[Peter Wang]

Branches: main

compiler/stm_expand.m:
        Fix instances of stm_from_outer_to_inner/stm_from_inner_to_outer
        which gained "_io" suffixes for some reason.

diff --git a/compiler/stm_expand.m b/compiler/stm_expand.m
index 79b5316..d8a61c3 100644
--- a/compiler/stm_expand.m
+++ b/compiler/stm_expand.m
@@ -635,7 +635,7 @@ calc_pred_variables(InitInstmap, FinalInstmap, HldsGoal,
 %-----------------------------------------------------------------------------%
 %
 % Predicates involved in the removal of the dummy predicates
-% "stm_from_inner_to_outer_io" and "stm_from_outer_to_inner_io".
+% "stm_from_inner_to_outer" and "stm_from_outer_to_inner".
 %
 
     % Removes all calls to the dummy predicates in a list of goals.
@@ -2601,9 +2601,9 @@ get_input_output_modes(StmGoalVars, InputModes, OutputModes) :-
 :- func stm_outer_inner = sym_name.
 
 stm_inner_outer =
-    qualified(mercury_stm_builtin_module, "stm_from_inner_to_outer_io").
+    qualified(mercury_stm_builtin_module, "stm_from_inner_to_outer").
 stm_outer_inner =
-    qualified(mercury_stm_builtin_module, "stm_from_outer_to_inner_io").
+    qualified(mercury_stm_builtin_module, "stm_from_outer_to_inner").
 
 %-----------------------------------------------------------------------------%
 

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------