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 691871c641a9d233d319b02e4c8149e5d4fc58e0..8b09a46c4ef5ca471e845694514a54969e7e0bf9 100644 (file)
--- 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))?;