diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2021-11-24 21:33:50 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2021-11-25 09:53:55 +0200 |
| commit | 1baf725a38b90c13e5afacebd18fb3799a2bd081 (patch) | |
| tree | 940c04d48e0c2b690f2d51edb98ebf0067e96eda /src/runtime.rs | |
| parent | b0c42f8ad5f89be748741a8dd2c17bfe1aa3d0eb (diff) | |
Use .to_owned() instead of String::from()
Diffstat (limited to 'src/runtime.rs')
| -rw-r--r-- | src/runtime.rs | 4 |
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( |
