diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 02:45:39 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 02:45:39 +0200 |
| commit | 26bc355c9a48db514efda6cb631f40b4f371ccef (patch) | |
| tree | f79bb1c01801b913148af29cb48802d233677978 /checker/votour.ml | |
| parent | 715388a4796aedb82cd6c7d5f51a21e3d655db4f (diff) | |
[votour] Fix/disable warnings.
Diffstat (limited to 'checker/votour.ml')
| -rw-r--r-- | checker/votour.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/checker/votour.ml b/checker/votour.ml index 44ca8ef31..9bfae7861 100644 --- a/checker/votour.ml +++ b/checker/votour.ml @@ -10,6 +10,7 @@ open Values (** {6 Interactive visit of a vo} *) +[@@@ocaml.warning "-52"] let rec read_num max = let quit () = Printf.printf "\nGoodbye!\n%!"; @@ -261,6 +262,7 @@ let pop () = match !stk with | i::s -> stk := s; i | _ -> failwith "empty stack" +[@@@ocaml.warning "-52"] let rec visit v o pos = Printf.printf "\nDepth %d Pos %s Context %s\n" (List.length !stk) |