From 54d8c1c4c3d6b678c625eccaa4aedc3eb0738ab6 Mon Sep 17 00:00:00 2001
From: chathhorn <chathhorn@gmail.com>
Date: Thu, 3 Oct 2019 10:42:15 -0500
Subject: [PATCH] Fix for #582.

---
 semantics/c/language/translation/elaborator.k | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/semantics/c/language/translation/elaborator.k b/semantics/c/language/translation/elaborator.k
index 9cb6c4abc..411b03ceb 100644
--- a/semantics/c/language/translation/elaborator.k
+++ b/semantics/c/language/translation/elaborator.k
@@ -27,6 +27,8 @@ module C-ELABORATOR
      rule (.K => K) ~> compoundExp(K:K)
      rule R:KResult ~> compoundExp(K:K)
           => te(compoundExp(K), utype(R))
+     rule toRVal(R:RValue) ~> compoundExp(K:K)
+          => te(compoundExp(K), utype(R))
 
      rule <k> elaborate(K:K) ~> Cont:K => K </k>
           <elab> OldElab:K => .K </elab>