From: Mark Thom Date: Sat, 8 Jan 2022 18:47:35 +0000 (-0700) Subject: unify current time as a complete string, not an atom (#1175) X-Git-Tag: v0.9.0^2~87 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a54e42961cbfbe8d974fc4b1714f1c89dc31326d;p=scryer-prolog.git unify current time as a complete string, not an atom (#1175) --- diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index 08a99f30..9b4a65e7 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -3148,7 +3148,7 @@ impl Machine { #[inline(always)] pub(crate) fn current_time(&mut self) { let timestamp = self.systemtime_to_timestamp(SystemTime::now()); - self.machine_st.unify_atom(timestamp, self.machine_st.registers[1]); + self.machine_st.unify_complete_string(timestamp, self.machine_st.registers[1]); } #[inline(always)]