diff options
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) |