From 90e269dcfe233d3e52a8079e56d365dc834abdab Mon Sep 17 00:00:00 2001 From: chathhorn Date: Thu, 19 Sep 2019 16:01:41 -0500 Subject: [PATCH] dynamic.k: fix issue with defArgs. --- semantics/cpp/language/common/dynamic.k | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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