Fix bug in pretty printer for Direction.t

verified-network-toolchain · Apr 30, 2019 · 1c85a09 · 1c85a09
1 parent f0578fa
commit 1c85a09
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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;