diff --git a/rust-semantics/preprocessing/helpers.md b/rust-semantics/preprocessing/helpers.md
index 2da8f06..aabaef7 100644
--- a/rust-semantics/preprocessing/helpers.md
+++ b/rust-semantics/preprocessing/helpers.md
@@ -77,7 +77,7 @@ module RUST-PREPROCESSING-PRIVATE-HELPERS
     rule getFunctionBlockOrSemicolon(_F:FunctionWithWhere B:BlockExpressionOrSemicolon)
         => B
 
-    syntax Type ::= getFunctionReturnType(Function)
+    syntax Type ::= getFunctionReturnType(Function)  [function, total]
     rule getFunctionReturnType(_Q:FunctionQualifiers F:FunctionWithoutQualifiers)
         => getFunctionReturnType(F)
     rule getFunctionReturnType(F:FunctionWithWhere _B:BlockExpression)