diff options
Diffstat (limited to 'tests')
-rw-r--r-- | tests/test_execution.rs | 4 |
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)); |