From 185037ec985d9fa871760c956e20691ce362e9bf Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Thu, 30 Nov 2023 18:12:53 +0100 Subject: [PATCH] Fix RawFunctionTypeNamed command --- specification/dart.sty | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specification/dart.sty b/specification/dart.sty index 4b7238242..ac089e532 100644 --- a/specification/dart.sty +++ b/specification/dart.sty @@ -412,7 +412,7 @@ % the spacer argument. \newcommand{\RawFunctionTypeNamed}[9]{% \RawFunctionType{#1}{#2}{#3}{#4}{% - \FunctionTypeNamedParameters{#5}{#6}{#7}{#8}{r}}} + \FunctionTypeNamedParameters{#5}{#6}{#7}{#8}{#9}}} % A variant of \FunctionTypeNamed that uses the standard symbols, % that is, a function type with positional optional parameters which