add missing sort

kframework · Mar 27, 2020 · 3dbba14 · 3dbba14
1 parent cb00bae
commit 3dbba14
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.build/k b/.build/k
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