aboutsummaryrefslogtreecommitdiffstats
path: root/src/runtime.rs
diff options
context:
space:
mode:
authorJan Tuomi <jans.tuomi@gmail.com>2021-11-24 21:33:50 +0200
committerJan Tuomi <jans.tuomi@gmail.com>2021-11-25 09:53:55 +0200
commit1baf725a38b90c13e5afacebd18fb3799a2bd081 (patch)
tree940c04d48e0c2b690f2d51edb98ebf0067e96eda /src/runtime.rs
parentb0c42f8ad5f89be748741a8dd2c17bfe1aa3d0eb (diff)
Use .to_owned() instead of String::from()
Diffstat (limited to 'src/runtime.rs')
-rw-r--r--src/runtime.rs4
1 files changed, 2 insertions, 2 deletions
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(