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 // add a proceed to bookend any trailing cuts. match toc { &QueryTerm::BlockedCut | &QueryTerm::UnblockedCut(..) => code.push(proceed!()), + &QueryTerm::Clause(_, ClauseType::Inlined(..), _) => code.push(proceed!()), _ => {} };