From 8c7494885fd9104f762c5905747ea2b4a16bc945 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 28 Feb 2021 00:27:50 -0700
Subject: [PATCH] set compilation_target of assert loader to match that of
 predicate qualifier

---
 src/machine/loader.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/machine/loader.rs b/src/machine/loader.rs
index 691871c6..8b09a46c 100644
--- a/src/machine/loader.rs
+++ b/src/machine/loader.rs
@@ -1738,6 +1738,8 @@ impl Machine {
         let compile_assert = || {
             let mut loader = Loader::new(LiveTermStream::new(ListingSource::User), self);
 
+            loader.load_state.compilation_target = compilation_target.clone();
+
             let head = loader.read_term_from_heap(temp_v!(1))?;
             let body = loader.read_term_from_heap(temp_v!(2))?;
 
-- 
2.54.0