From 8a2d9881ecf0f24c1e36d0256ca8164ac58eba04 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 30 Oct 2024 17:01:44 -0500
Subject: [PATCH] Minor

---
 src/kind.cpp  | 2 +-
 src/state.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/kind.cpp b/src/kind.cpp
index 1caf5ed6..02dfa0ba 100644
--- a/src/kind.cpp
+++ b/src/kind.cpp
@@ -170,7 +170,7 @@ std::string kindToTerm(Kind k)
         case Kind::EVAL_TO_BIN: ss << "to_bin";break;
         case Kind::EVAL_TO_STRING: ss << "to_str";break;
         // datatypes
-        case Kind::EVAL_DEF_OF: ss << "def_of"; break;
+        case Kind::EVAL_DEF_OF: ss << "defof"; break;
         default:ss << "[" << k << "]";break;
         }
       }
diff --git a/src/state.cpp b/src/state.cpp
index 213374f1..273eba9c 100644
--- a/src/state.cpp
+++ b/src/state.cpp
@@ -146,7 +146,7 @@ State::State(Options& opts, Stats& stats)
   bindBuiltinEval("extract", Kind::EVAL_EXTRACT);
   bindBuiltinEval("find", Kind::EVAL_FIND);
   // datatypes
-  bindBuiltinEval("def_of", Kind::EVAL_DEF_OF);
+  bindBuiltinEval("defof", Kind::EVAL_DEF_OF);
 
   // as
   bindBuiltinEval("as", Kind::AS);