Index: src/Virtual/ExpandCasts.cc
===================================================================
--- src/Virtual/ExpandCasts.cc	(revision 0720749b75e9d25be92e7f3da771c1d96ba17918)
+++ src/Virtual/ExpandCasts.cc	(revision 8e6214fd05b409573f38728c086bcfa67dcfb76f)
@@ -147,16 +147,16 @@
 				//		)
 				//	),
-			new UntypedExpr( new NameExpr( "__cfa__virtual_cast" ), {
+			new ApplicationExpr( VariableExpr::functionPointer( vcast_decl ), {
 					new CastExpr(
 						new AddressExpr( new VariableExpr( table ) ),
 						pointer_to_pvt(1)
-						),
+					),
 					new CastExpr(
 						castExpr->get_arg(),
 						pointer_to_pvt(2)
-						)
-				} ),
+					)
+			} ),
 			castExpr->get_result()->clone()
-			);
+		);
 
 		castExpr->set_arg( nullptr );