From f47a44cd50cd3cd16788b862368d48cca75176a4 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <jurgen@vinju.org>
Date: Thu, 7 Dec 2023 14:07:00 +0100
Subject: [PATCH] Update Core.rsc

added @synopsis to M3
---
 src/org/rascalmpl/library/lang/java/m3/Core.rsc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/org/rascalmpl/library/lang/java/m3/Core.rsc b/src/org/rascalmpl/library/lang/java/m3/Core.rsc
index 0ebfe5a8f0d..08e21e84d13 100644
--- a/src/org/rascalmpl/library/lang/java/m3/Core.rsc
+++ b/src/org/rascalmpl/library/lang/java/m3/Core.rsc
@@ -18,6 +18,7 @@ import List;
 import util::FileSystem;
 import util::Reflective;
 
+@synopsis{Java extensions to the generic M3 model.}
 @description{
   Notice that this model also contains the attributes from ((Library:analysis::m3::Core::M3)).
 }