From 3dbba1462f931dc0f0d57b0b8642275b20a06c6a Mon Sep 17 00:00:00 2001
From: Jan Tusil <jenda.tusil@gmail.com>
Date: Fri, 27 Mar 2020 10:17:07 +0100
Subject: [PATCH] add missing sort

---
 .build/k                                       | 2 +-
 semantics/cpp/language/translation/temporary.k | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.build/k b/.build/k
index 0b2740dcc..51686b228 160000
--- a/.build/k
+++ b/.build/k
@@ -1 +1 @@
-Subproject commit 0b2740dccc2ca1492b9bdaeed32543cbf9185d2f
+Subproject commit 51686b228230341d0fb851767734ed44d88ecfcb
diff --git a/semantics/cpp/language/translation/temporary.k b/semantics/cpp/language/translation/temporary.k
index b15320a53..2b6cb5a56 100644
--- 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