-
Type: Improvement
-
Resolution: Done
-
Priority: Minor - P4
-
Affects Version/s: None
-
Component/s: Internal Code
-
Labels:None
-
Fully Compatible
-
Platforms 16 (06/24/16)
All of the verify(ok) calls in mutable/document.cpp are intended to have the semantics of invariant. Since invariant is preferred over verify, they should be updated to call invariant instead.