[range.utility.helpers] Move template-argument-list out of \libconcep…

…t. (#4127)
cplusplus · Sep 22, 2020 · 8670eab · 8670eab
1 parent d016600
commit 8670eab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -1281,7 +1281,7 @@
 
 template<class I>
   concept @\defexposconcept{has-arrow}@ =                           // \expos
-    @\libconcept{input_iterator<I>}@ && (is_pointer_v<I> || requires(I i) { i.operator->(); });
+    @\libconcept{input_iterator}@<I> && (is_pointer_v<I> || requires(I i) { i.operator->(); });
 
 template<class T, class U>
   concept @\defexposconcept{not-same-as}@ =                         // \expos