From 3347316917aadeb86d3e771fe2d2f7e3f4da7619 Mon Sep 17 00:00:00 2001
From: cakoch10 <cakoch10@gmail.com>
Date: Sat, 7 Dec 2019 21:02:57 -0500
Subject: [PATCH] updated type annotations of ignore commands

---
 src/repl/repl_katbb.ml | 3 +--
 src/repl/repl_katbv.ml | 3 +--
 src/tables/tables.ml   | 4 ++--
 3 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/repl/repl_katbb.ml b/src/repl/repl_katbb.ml
index a02e839..751443a 100644
--- a/src/repl/repl_katbb.ml
+++ b/src/repl/repl_katbb.ml
@@ -286,5 +286,4 @@ let rec repl () =
 let main () : unit =
   printf "Welcome to the KAT+B! REPL!\n";
   printf "Type `help` for a list of commands\n";
-  let _ = repl () in
-  ()
\ No newline at end of file
+  ignore (repl () : 'a Deferred.t)
\ No newline at end of file
diff --git a/src/repl/repl_katbv.ml b/src/repl/repl_katbv.ml
index 2671a10..0d6f2b9 100644
--- a/src/repl/repl_katbv.ml
+++ b/src/repl/repl_katbv.ml
@@ -321,5 +321,4 @@ let rec repl () =
 let main () : unit =
   printf "Welcome to the KAT+BV REPL!\n";
   printf "Type `help` for a list of commands\n";
-  let _ = repl () in
-  ()
\ No newline at end of file
+  ignore (repl () : 'a Deferred.t)
\ No newline at end of file
diff --git a/src/tables/tables.ml b/src/tables/tables.ml
index a9ee037..685e1d3 100644
--- a/src/tables/tables.ml
+++ b/src/tables/tables.ml
@@ -170,8 +170,8 @@ let to_string_doc b =
 (** [render_box tbl] is the [PrintBox.t] object representing [tbl] *)
 let render_box var_name tbl =
   let matrix = Array.make_matrix ~dimy:2 ~dimx:(1+(List.length tbl)) "" in
-  let _ = matrix.(0).(0) <- "Pattern"; matrix.(0).(1) <- "Actions" in
-  let _ = List.iteri tbl ~f:(fun i (p,a) ->
+  let _ : unit = matrix.(0).(0) <- "Pattern"; matrix.(0).(1) <- "Actions" in
+  let _ : unit = List.iteri tbl ~f:(fun i (p,a) ->
     matrix.(i+1).(0) <- (to_str_lst p "=" var_name);
     matrix.(i+1).(1) <- (to_str_act var_name a)
   )