diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
index 8b36df176..330e772b6 100644
--- a/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
+++ b/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
@@ -156,9 +156,6 @@ class LinChecker(private val testClass: Class<*>, options: Options<*, *>?) {
             stateRepresentationMethod = testStructure.stateRepresentation,
         )
 
-    private fun CTestConfiguration.createVerifier() =
-        verifierClass.getConstructor(Class::class.java).newInstance(sequentialSpecification)
-
     private fun CTestConfiguration.createExecutionGenerator(randomProvider: RandomProvider): ExecutionGenerator {
         if (iterations > 0) {
             checkAtLeastOneMethodIsMarkedAsOperation(testClass)