Update source/lib-intro.tex

tkoeppe · JohelEGP · web-flow · commit d082146fc796 · 2022-12-19T16:21:09.000Z
Co-authored-by: Johel Ernesto Guerrero Peña &lt;johelegp@gmail.com&gt;
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
@@ -1858,7 +1858,7 @@
 
 \begin{itemdescr}
 \pnum
-\effects
+\ensures
 All resources owned by \tcode{u} are reclaimed, no exception is propagated.
 \end{itemdescr}
 
