diff --git a/jbmc/src/java_bytecode/java_qualifiers.cpp b/jbmc/src/java_bytecode/java_qualifiers.cpp
index d146580cc91..38a4acb77d1 100644
--- a/jbmc/src/java_bytecode/java_qualifiers.cpp
+++ b/jbmc/src/java_bytecode/java_qualifiers.cpp
@@ -27,11 +27,6 @@ std::unique_ptr<c_qualifierst> java_qualifierst::clone() const
   return std::move(other);
 }
 
-std::size_t java_qualifierst::count() const
-{
-  return c_qualifierst::count() + annotations.size();
-}
-
 void java_qualifierst::clear()
 {
   c_qualifierst::clear();
diff --git a/jbmc/src/java_bytecode/java_qualifiers.h b/jbmc/src/java_bytecode/java_qualifiers.h
index 8e61ad187e6..da58c7e5959 100644
--- a/jbmc/src/java_bytecode/java_qualifiers.h
+++ b/jbmc/src/java_bytecode/java_qualifiers.h
@@ -31,7 +31,6 @@ class java_qualifierst : public c_qualifierst
   {
     return annotations;
   }
-  std::size_t count() const override;
 
   void clear() override;
 
diff --git a/src/ansi-c/c_qualifiers.h b/src/ansi-c/c_qualifiers.h
index 3c403dcadb3..2cf17bb2161 100644
--- a/src/ansi-c/c_qualifiers.h
+++ b/src/ansi-c/c_qualifiers.h
@@ -109,12 +109,6 @@ class c_qualifierst
     is_noreturn |= other.is_noreturn;
     return *this;
   }
-
-  virtual std::size_t count() const
-  {
-    return is_constant + is_volatile + is_restricted + is_atomic + is_ptr32 +
-           is_ptr64 + is_nodiscard + is_noreturn;
-  }
 };
 
 #endif // CPROVER_ANSI_C_C_QUALIFIERS_H