Commit 8ecd13e9 authored by Sylvain Dailler's avatar Sylvain Dailler

Remove duplicate of exception declaration

This was triggering a popup when too many arguments are given to a
transformation (because the exception was considered fatal by default).
parent 18aca836
......@@ -23,6 +23,7 @@ Transformations
* Adding arguments to transformations without arguments is now forbidden
(previously ignored):x:
* Fix crash of eliminate_unknown_types
* Giving too many arguments to a transformation do not display a popup anymore
Counterexamples
* Improved display of counterexamples in Task view
......
......@@ -407,8 +407,6 @@ let rec print_type : type a b. Format.formatter -> (a, b) trans_typ -> unit =
| Topt (s,t) -> Format.fprintf fmt "?%s -> %a" s print_type t
| Toptbool (s,t) -> Format.fprintf fmt "?%s:bool -> %a" s print_type t
exception Unnecessary_arguments of string list
let rec wrap_to_store : type a b. (a, b) trans_typ -> a -> string list -> Env.env -> naming_table -> task -> b =
fun t f l env tables task ->
match t, l with
......
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