diff --git a/source/exec.tex b/source/exec.tex index 058038eff0..7aabc16c95 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -8459,7 +8459,7 @@ virtual void set_error(exception_ptr) noexcept = 0; virtual void set_stopped() noexcept = 0; - template + template optional

try_query(Query q) noexcept; };