Fix for #582.

kframework · Oct 3, 2019 · 54d8c1c · 54d8c1c
1 parent a293965
commit 54d8c1c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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>