diff --git a/Formula/cbmc@6.1.0.rb b/Formula/cbmc@6.1.0.rb
index 0f12228..ac7a4ed 100644
--- a/Formula/cbmc@6.1.0.rb
+++ b/Formula/cbmc@6.1.0.rb
@@ -1,4 +1,4 @@
-class CbmcAT601 < Formula
+class CbmcAT610 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",