From ed08d917aee4dc50534e959ae7de6536c730679d 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