Commit 390383ee authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

removed one OCaml warning

parent c34adb3b
......@@ -43,7 +43,7 @@ let get_indice i =
else assert false
let init_vars th_uc nb_var =
let a = Array.create (nb_var*2) Term.t_true in
let a = Array.make (nb_var*2) Term.t_true in
let th = ref th_uc in
for i = nb_var downto -nb_var do
if i <> 0 then
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment