Skip to content
Snippets Groups Projects
Commit e1d75182 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[eva] factor identical cases in pattern-matching

parent 66f225d7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/engine/transfer_logic.ml
+ 1
− 2
View file @ e1d75182
...@@ -688,8 +688,7 @@ module Make ...@@ -688,8 +688,7 @@ module Make
aux_interp ~reduce code_annot behav p aux_interp ~reduce code_annot behav p
in in
match code_annot.annot_content with match code_annot.annot_content with
| AAssert (behav, p) -> | AAssert (behav, p)
aux ~reduce:(not p.tp_only_check) code_annot behav p.tp_statement
| AInvariant (behav, true, p) -> | AInvariant (behav, true, p) ->
aux ~reduce:(not p.tp_only_check) code_annot behav p.tp_statement aux ~reduce:(not p.tp_only_check) code_annot behav p.tp_statement
| APragma _ | APragma _
......
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