[async.reqmts.service] Remove "user-defined"

jwakely · jwakely · commit c8c2afaa113b · 2017-07-15T17:14:57.000+01:00
Fixes NB US-12 (PDTS)
diff --git a/src/async.tex b/src/async.tex
@@ -364,7 +364,7 @@
 \end{example}
 
 \pnum
-A service's \tcode{shutdown} member function shall destroy all copies of user-defined function objects that are held by the service.
+A service's \tcode{shutdown} member function shall destroy all copies of function objects that are held by the service.
 
 
 
