Further whitespace fixes

diffblue · Sep 19, 2024 · c91e21c · c91e21c
1 parent 0b3bc42
commit c91e21c
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Formula/[email protected] b/Formula/[email protected]
@@ -2,7 +2,7 @@ class CbmcAT601 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.0.1",
+      tag:      "cbmc-6.0.1",
       revision: "0761608baaa477b502c43a213a1cb31639756e95"
   license "BSD-4-Clause"
 

diff --git a/Formula/[email protected] b/Formula/[email protected]
@@ -2,7 +2,7 @@ class CbmcAT610 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.1.0",
+      tag:      "cbmc-6.1.0",
       revision: "737d5826d29df048493b88caad9b70aa217db687"
   license "BSD-4-Clause"
 

diff --git a/Formula/[email protected] b/Formula/[email protected]
@@ -2,7 +2,7 @@ class CbmcAT611 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.1.1",
+      tag:      "cbmc-6.1.1",
       revision: "b3359791bcc1a6651646920c3936ce167465db92"
   license "BSD-4-Clause"
 

diff --git a/Formula/[email protected] b/Formula/[email protected]
@@ -2,7 +2,7 @@ class CbmcAT620 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.2.0",
+      tag:      "cbmc-6.2.0",
       revision: "27b845c975c6bbdfb2ccc6f40bdfae6793d12277"
   license "BSD-4-Clause"