Gitlab service upgraded. Please report any problems to

Commit 10c97b29 authored by Anders Nilsson's avatar Anders Nilsson


parent c1ed9884
......@@ -227,6 +227,22 @@ aspect MiscUtilities {
aspect RewriteClasses {
rewrite Declaration {
when (isClassDecl())
to ClassDeclaration {
ClassDeclaration c = new ClassDeclaration();
return c;
when (isIndividualDecl())
to IndividualDeclaration {
IndividualDeclaration c = new IndividualDeclaration();
return c;
rewrite OwlClass {
when (isTopLevel())
to OwlClassDecl {
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment