add proceed to inlined instructions in tail position

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index 274b557d4d7dc6d42a76f421b35bec2b152e728b..575f389ef6f17a2baf9bd90f7466010e4a456fcc 100644 (file)
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -494,6 +494,7 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<TermMarker>
         // add a proceed to bookend any trailing cuts.
         match toc {
             &QueryTerm::BlockedCut | &QueryTerm::UnblockedCut(..) => code.push(proceed!()),
+            &QueryTerm::Clause(_, ClauseType::Inlined(..), _) => code.push(proceed!()),
             _ => {}
         };