SuccessChanges

Summary

  1. Make thread operations public and check access, fixes #765 (commit: 77e66ac) (details)
Commit 77e66ac8080e36977e5e54cbbfd329e265acbec3 by nick.battle
Make thread operations public and check access, fixes #765
(commit: 77e66ac)
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.java