diff --git a/scripts/setup/macos/install_viewer.sh b/scripts/setup/macos/install_viewer.sh
index d58dbf58cb07..a04b998975ed 100755
--- a/scripts/setup/macos/install_viewer.sh
+++ b/scripts/setup/macos/install_viewer.sh
@@ -16,7 +16,5 @@ fi
 
 set -x
 
-# brew doesn't recognize specific versions of viewer
-# Build from source, since there's only a macos-12 bottle which doesn't seem to work.
-brew install -s aws/tap/cbmc-viewer
+brew install aws/tap/cbmc-viewer
 echo "Installed: $(cbmc-viewer --version)"