From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 28 Feb 2021 07:27:50 +0000 (-0700)
Subject: set compilation_target of assert loader to match that of predicate qualifier
X-Git-Tag: v0.9.0~150^2~12
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8c7494885fd9104f762c5905747ea2b4a16bc945;p=scryer-prolog.git

set compilation_target of assert loader to match that of predicate qualifier
---

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))?;