Project

General

Profile

Revision 4f26dcf5 src/corelang.ml

View differences:

src/corelang.ml
165 165
(*   Eexpr functions *)
166 166
(************************************************************)
167 167

  
168
let merge_node_annot ann1 ann2 =
168
let merge_contracts ann1 ann2 =
169 169
  { requires = ann1.requires @ ann2.requires;
170 170
    ensures = ann1.ensures @ ann2.ensures;
171 171
    behaviors = ann1.behaviors @ ann2.behaviors;

Also available in: Unified diff