Merge pull request #1 from cornell-netlab/pretty-bugfix

Pretty-printing bugfix
verified-network-toolchain · Apr 30, 2019 · bca7b2b · bca7b2b
2 parents f0578fa + 01f7714
commit bca7b2b
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 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;

diff --git a/petr4.opam b/petr4.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.1"
+version: "0.1.1"
 synopsis: "Petr4: Formal Semantics for the P4 Programming Language"
 maintainer: "[email protected]"
 authors: ["Nate Foster <[email protected]>"]