Commit 4cbabcdb authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Ocaml 4.03 compatibility

parent 153ca148
......@@ -202,12 +202,12 @@ let remove_end_num s =
| _ -> s
(* Used to handle case of badly formed table *)
exception Incorrect_table
(* Add the variables that can be deduced from ITE to the table of variables *)
let add_vars_to_table (table: correspondence_table) key value : correspondence_table =
(* Used to handle case of badly formed table *)
let exception Incorrect_table in
let rec add_vars_to_table ~type_value (table: correspondence_table) value =
let add_var_ite cvc t1 table : correspondence_table =
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