SuccessChanges

Summary

  1. corrected missing ports to port wrapper classes (commit: 32d7f6f) (details)
Commit 32d7f6f4e4d559ccc8ea12a85e6da0e7fc89f1e2 by noreply
corrected missing ports to port wrapper classes
(commit: 32d7f6f)
The file was modifiedwatertankcontroller-overture/model/System.vdmrt (diff)