Commit ab100c42 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Solved error from merge

parent 12393a37
......@@ -248,7 +248,7 @@ let get_exception_message ses id fmt e =
(print_term ses id) t1 (print_term ses id) t2
| Case.Arg_trans (s) ->
Format.fprintf fmt "Error in transformation function: %s \n" s
| Case.Arg_hyp_not_found (s) ->
| Args_wrapper.Arg_hyp_not_found (s) ->
Format.fprintf fmt "Following hypothesis was not found: %s \n" s
| Args_wrapper.Arg_theory_not_found (s) ->
Format.fprintf fmt "Theory not found: %s" s
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