diff --git a/lib/pretty.ml b/lib/pretty.ml index 87b8ca39b..5a95f3c4a 100644 --- a/lib/pretty.ml +++ b/lib/pretty.ml @@ -364,7 +364,7 @@ end = struct let format_t fmt e = match snd e with | In -> Format.fprintf fmt "in" - | Out -> Format.fprintf fmt "in" + | Out -> Format.fprintf fmt "out" | InOut -> Format.fprintf fmt "inout" end diff --git a/lib/types.mli b/lib/types.mli index 3992448a5..67fe89f73 100644 --- a/lib/types.mli +++ b/lib/types.mli @@ -340,8 +340,8 @@ and Parser : sig type case = pre_case info [@@deriving sexp,yojson] - type pre_transition = - Direct of + type pre_transition = + Direct of { next: P4String.t } | Select of { exprs: Expression.t list;