1 files changed, 0 insertions, 8 deletions
diff --git a/src/expr/mkexpr b/src/expr/mkexpr
index f59388def..35a245a84 100755
--- a/src/expr/mkexpr
+++ b/src/expr/mkexpr
@@ -104,14 +104,6 @@ function operator {
   check_theory_seen
 }
 
-function nonatomic_operator {
-  # nonatomic_operator K #children ["comment"]
-
-  lineno=${BASH_LINENO[0]}
-
-  check_theory_seen
-}
-
 function parameterized {
   # parameterized K #children ["comment"]