Skip to content
Snippets Groups Projects
Commit 479b543e authored by David Bühler's avatar David Bühler Committed by Andre Maroneze
Browse files

[Eva] Renames the log category of the equality domain from d-eq to d-equality.

parent a78bbd45
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/domains/equality/equality_domain.ml
+ 1
− 1
View file @ 479b543e
......@@ -39,7 +39,7 @@ let call_init_state kf =
| "none" -> ISEmpty
| _ -> assert false
let dkey = Value_parameters.register_category "d-eq"
let dkey = Value_parameters.register_category "d-equality"
open Hcexprs
......
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