From 1c85a09527f5b99684ff1b54c41089d788e47c80 Mon Sep 17 00:00:00 2001
From: Nate Foster <jnfoster@cs.cornell.edu>
Date: Mon, 29 Apr 2019 19:52:58 -0700
Subject: [PATCH] Fix bug in pretty printer for Direction.t

---
 lib/pretty.ml | 2 +-
 lib/types.mli | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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;