1 files changed, 0 insertions, 9 deletions
diff --git a/src/expr/mkkind b/src/expr/mkkind
index d9c64b660..a417b7871 100755
--- a/src/expr/mkkind
+++ b/src/expr/mkkind
@@ -83,15 +83,6 @@ function operator {
   register_kind "$1" "$2" "$3"
 }
 
-function nonatomic_operator {
-  # nonatomic_operator K #children ["comment"]
-
-  lineno=${BASH_LINENO[0]}
-
-  check_theory_seen
-  register_kind "$1" "$2" "$3"
-}
-
 function parameterized {
   # parameterized K1 K2 #children ["comment"]