From 1baf725a38b90c13e5afacebd18fb3799a2bd081 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Wed, 24 Nov 2021 21:33:50 +0200
Subject: Use .to_owned() instead of String::from()

---
 src/runtime.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/runtime.rs')

diff --git a/src/runtime.rs b/src/runtime.rs
index 0dc4789..9e903cd 100644
--- a/src/runtime.rs
+++ b/src/runtime.rs
@@ -71,7 +71,7 @@ pub fn advance_v() -> usize {
 fn _bound_variable_opt_to_string(bound_variable_opt: &Option<(usize, Rc<Term>)>) -> String {
     match bound_variable_opt {
         Some((v, term_rc)) => format!("({}, {})", v, term_rc),
-        None => String::from("None"),
+        None => "None".to_owned(),
     }
 }
 
@@ -202,7 +202,7 @@ pub fn repeatedly_reduce_term(
     loop {
         i += 1;
         if i >= MAX_REDUCTION_ITERATIONS {
-            return Err(String::from("MAX_REDUCTION_ITERATIONS reached"));
+            return Err("MAX_REDUCTION_ITERATIONS reached".to_owned());
         }
 
         let (result_term, substitution_n) = reduce_term(
-- 
cgit v1.3