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>