aboutsummaryrefslogtreecommitdiff
path: root/tests/test_execution.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/test_execution.rs')
-rw-r--r--tests/test_execution.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/test_execution.rs b/tests/test_execution.rs
index 44df5ae..4254978 100644
--- a/tests/test_execution.rs
+++ b/tests/test_execution.rs
@@ -14,8 +14,8 @@ fn test_simple() {
#[test]
fn test_complex() {
let mut context = Context::new();
- context.insert(String::from("x"), Term::Natural(413));
- context.insert(String::from("y"), Term::Boolean(true));
+ context.insert_term(String::from("x"), Term::Natural(413));
+ context.insert_term(String::from("y"), Term::Boolean(true));
assert_eq!(context.execute(Var("x")).unwrap(), Term::Natural(413));
assert_eq!(context.execute(Cond(Var("y"), Const(Term::Integer(612)),
Var("x"))).unwrap(), Term::Integer(612));