diff options
-rw-r--r-- | docs/progGuideDB/semantics.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml index 639ddeb9b..7b065f136 100644 --- a/docs/progGuideDB/semantics.xml +++ b/docs/progGuideDB/semantics.xml @@ -2365,7 +2365,7 @@ } } - aspect aspect MyProfiling { + abstract aspect MyProfiling { abstract pointcut profiled(); Object around(): profiled() { |