add missing sort

h0nzZik · h0nzZik · commit 98aacb80c9e4 · 2020-03-27T11:39:26.000+01:00
diff --git a/semantics/cpp/language/translation/temporary.k b/semantics/cpp/language/translation/temporary.k
@@ -5,6 +5,7 @@ module CPP-TRANSLATION-TEMPORARY-SYNTAX
      imports CPP-TYPING-SORTS
 
      syntax Expr ::= CreateTemporary
+     syntax KItem
      syntax CreateTemporary ::= createTemporary(temporary: Expr, type: CPPType, init: KItem) [strict(3)]
 endmodule
 
