Updated dependences because of moved classes
Change-Id: Id9c4e618263105cd53232be0099f4d9a1cdbe55d
Signed-off-by: 
Alberto Debiasi <adebiasi@fbk.eu>
Showing
- plugins/contracts/org.polarsys.chess.contracts.verificationService/META-INF/MANIFEST.MF 2 additions, 1 deletion....chess.contracts.verificationService/META-INF/MANIFEST.MF
- plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CompositeContractImplementationCommand.java 3 additions, 2 deletions...e/ui/commands/CompositeContractImplementationCommand.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractImplementationCommand.java 3 additions, 2 deletions...ionService/ui/commands/ContractImplementationCommand.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ModelCheckingCommand.java 11 additions, 3 deletions...verificationService/ui/commands/ModelCheckingCommand.java
- plugins/org.polarsys.chess.service/META-INF/MANIFEST.MF 2 additions, 1 deletionplugins/org.polarsys.chess.service/META-INF/MANIFEST.MF
Loading
Please register or sign in to comment