From 3cf3e70cb7fcd75d53828924496699678796f5ed Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 20 Jul 2023 03:14:55 -0700
Subject: implement typeclasses as interfaces

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

(limited to 'tests')

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));
-- 
cgit v1.2.3-70-g09d2