set compilation_target of assert loader to match that of predicate qualifier
@@ -1738,6 +1738,8 @@ pub(crate) fn compile_assert(&mut self, append_or_prepend: AppendOrPrepend) {
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))?;
