updated type annotations of ignore commands

netkat-lang · Dec 8, 2019 · 1047a13 · 1047a13
1 parent 6a362df
commit 1047a13
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/netkat.opam b/netkat.opam
@@ -22,7 +22,7 @@ description: "A clean slate implementation of NetKAT"
 depends: [
   "async" {>= "0.12.0"}
   "ocaml" {>= "4.07.0"}
-  "dune" {build & >= "1.10"}
+  "dune" {>= "1.10"}
   "menhir" {build & >= "20190626"}
   "base" {>= "v0.12.0"}
   "core" {>= "v0.12.0"}

diff --git a/src/repl/repl_katbv.ml b/src/repl/repl_katbv.ml
@@ -279,7 +279,7 @@ let eval (env, env_str) =
     List.map lst ~f:(fun (a,b) ->
       printf "%s=%s\n%!" a b
     )
-  ) : unit)
+  ) : unit list list)
 
 
 let equiv (p1, s1) (p2, s2) =