point code index to switch_on_term after appending indexed clause to single-clause...

diff --git a/src/machine/compile.rs b/src/machine/compile.rs
index 157f16aeda4f7701529ab41033793022455c4d8a..adef57592df308179a4c80302fe2d41115737188 100644 (file)
--- a/src/machine/compile.rs
+++ b/src/machine/compile.rs
@@ -1212,7 +1212,11 @@ fn append_compiled_clause(
                 );
 
                 if lower_bound == 0 && !skeleton.core.is_dynamic {
-                    code_ptr_opt = Some(target_pos_clause_start);
+                    code_ptr_opt = Some(if index_loc < target_pos_clause_start {
+                        index_loc
+                    } else {
+                        target_pos_clause_start
+                    });
                 }
             }