diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag index 2876adde0d9f87a795e4bd792e35e78b5b838e2b..c19692e1f463f1a5a67ae155a252e99c885d4531 100644 --- a/CompilerGeneration.jrag +++ b/CompilerGeneration.jrag @@ -361,7 +361,9 @@ aspect GenMisc { pStream.println(ind(1)+"}"); // ClassUse.decl() - + pStream.println(ind(1)+"syn lazy Thing ClassUse.decl() {"); + pStream.println(ind(2)+ + pStream.println(ind(1)+"}\n"); super.genMisc(pStream); pStream.println("}");