diff --git a/Library/Homebrew/tap_migrations.rb b/Library/Homebrew/tap_migrations.rb
index 77b2ea8d63..c5653d5e04 100644
--- a/Library/Homebrew/tap_migrations.rb
+++ b/Library/Homebrew/tap_migrations.rb
@@ -225,6 +225,7 @@ TAP_MIGRATIONS = {
   "vobcopy" => "homebrew/boneyard",
   "wdfs" => "homebrew/fuse",
   "whereami" => "homebrew/boneyard",
+  "why3" => "homebrew/tex",
   "wkhtmltopdf" => "homebrew/boneyard",
   "wmctrl" => "homebrew/x11",
   "wopr" => "homebrew/science",