habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Unsub should be changes #48

Closed dmarmsoler closed 6 years ago

dmarmsoler commented 6 years ago

All the "sub (pbid (pbcmp p c))" an "unsub (pbid (pbcmp p c))" must be "sub (sbid (sbcmp s c))" and "unsub (sbid (sbcmp s c))" in both: