diff --git a/src/content/1.5/products-and-coproducts.tex b/src/content/1.5/products-and-coproducts.tex
index 696d77be..3ab4829c 100644
--- a/src/content/1.5/products-and-coproducts.tex
+++ b/src/content/1.5/products-and-coproducts.tex
@@ -465,8 +465,8 @@ \section{Coproduct}
 It injects an integer into \code{Contact}.
 
 A tagged union is also called a \newterm{variant}, and there is a very
-general implementation of a variant in the boost library,
-\code{boost::variant}.
+general implementation of a variant in the C++17 standard,
+\code{std::variant}.
 
 In Haskell, you can combine any data types into a tagged union by
 separating data constructors with a vertical bar. The \code{Contact}