dynamic.k: fix issue with defArgs.

kframework · Oct 8, 2019 · 90e269d · 90e269d
1 parent c6d25ad
commit 90e269d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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