From 21637c2618df07f80640196a04cf759d9d43818c Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 8 Feb 2024 20:26:24 +0100
Subject: [PATCH] add tip to readme file

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index f06073a3..2be0c478 100644
--- a/README.md
+++ b/README.md
@@ -41,6 +41,9 @@ $ ./gradlew prepareMaven
 $ mvn -f de.prob.parent/pom.xml install
 ```
 
+Adding the -U flag to force re-loading dependencies does not (seem to) work.
+Run ```./gradlew prepareMaven``` before running the mvn command to update.
+
 This will build the plugin into a local Eclipse plugin repository.
 To test your build of the plugin, you need to configure this repository in Rodin:
 
-- 
GitLab