From cf82accc4bf7e7b68cc8eae7258590e2db12cd23 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 31 Jul 2018 15:14:28 -0600
Subject: [PATCH] add proceed to inlined instructions in tail position

---
 src/prolog/codegen.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index 274b557d..575f389e 100644
--- 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!()),
             _ => {}
         };
 
-- 
2.54.0