diff --git a/semantics/cpp/language/common/dynamic.k b/semantics/cpp/language/common/dynamic.k
index d47889b6e..74cc6e6bc 100644
--- a/semantics/cpp/language/common/dynamic.k
+++ b/semantics/cpp/language/common/dynamic.k
@@ -582,7 +582,7 @@ module CPP-DYNAMIC-OTHER-SYNTAX
 
      syntax KItem ::= seqstrict(StrictList) [klabel(seqstrictcpp)]
 
-     syntax DefaultArguments ::= defArgs(vals: StrictList, types: StrictList, cats: StrictList)
+     syntax DefaultArguments ::= defArgs(vals: StrictList, types: StrictList, cats: StrictList) [strict(1)]
 
      syntax DefaultArguments ::= DefaultArgumentsResult