diff options
Diffstat (limited to 'src/builtins.rs')
| -rw-r--r-- | src/builtins.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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()), |