From 4bfaeda8039acc2a25891a778a51ae7dce1e0d32 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Tue, 23 Nov 2021 20:27:27 +0200
Subject: Get term reduction (without Lazy) seemingly working

---
 src/builtins.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/builtins.rs')

diff --git a/src/builtins.rs b/src/builtins.rs
index 46b6ec5..fa029a9 100644
--- a/src/builtins.rs
+++ b/src/builtins.rs
@@ -21,7 +21,7 @@ pub fn make_identity_function() -> Term {
     Term::Abstraction(v, Rc::new(Term::Variable(v)))
 }
 
-pub fn try_builtin_symbol_to_value(symbol: &ast::Symbol) -> Option<Term> {
+pub fn try_builtin_symbol_to_term(symbol: &ast::Symbol) -> Option<Term> {
     match symbol.as_str() {
         "true" => Some(make_boolean_true_function()),
         "false" => Some(make_boolean_false_function()),
-- 
cgit v1.3