1 files changed, 0 insertions, 6 deletions
diff --git a/src/expr/mkexpr b/src/expr/mkexpr
index ec8d0d12f..5134d561e 100755
--- a/src/expr/mkexpr
+++ b/src/expr/mkexpr
@@ -98,12 +98,6 @@ function rewriter {
   check_theory_seen
 }
 
-function instantiator {
-  # instantiator class header
-  lineno=${BASH_LINENO[0]}
-  check_theory_seen
-}
-
 function properties {
   # properties prop*
   lineno=${BASH_LINENO[0]}