diff --git a/include/vast/Dialect/HighLevel/HighLevelOps.td b/include/vast/Dialect/HighLevel/HighLevelOps.td
index 2ed703e2b3..1786ba39e5 100644
--- a/include/vast/Dialect/HighLevel/HighLevelOps.td
+++ b/include/vast/Dialect/HighLevel/HighLevelOps.td
@@ -1699,7 +1699,7 @@ def HighLevel_GenericAssocExpr
 
 def HighLevel_GenericSelectionExpr
   : HighLevel_Op< "generic_expr", [NoTerminator] >
-  , Arguments< (ins OptionalAttr< TypeAttr >:$controlType, OptionalAttr< TypedAttrInterface >:$selected) >
+  , Arguments< (ins OptionalAttr< TypeAttr >:$controlType, OptionalAttr< IndexAttr >:$selected) >
   , Results< (outs AnyType:$result) >
 {
   let summary = "C11 _Generic expression.";
@@ -1734,7 +1734,7 @@ def HighLevel_GenericSelectionExpr
     }] >
   ];
 
-  let assemblyFormat = [{ attr-dict `match` `:` ($control^)? ($controlType^)? $values `->` type($result)}];
+  let assemblyFormat = [{ attr-dict `match` `:` ($control^)? ($controlType^)? $body `->` type($result)}];
 }
 
 #endif // VAST_DIALECT_HIGHLEVEL_IR_HIGHLEVELOPS