----------------------------------------------------------------------------- Purpose: Make sure the version of the map in WC is the same as the map that's being edited Input : Output : -----------------------------------------------------------------------------
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected