From fc5300b5063ce1f566a6be0529614f3a3af8b640 Mon Sep 17 00:00:00 2001
From: Jesper Amilon <57449124+jesper-amilon@users.noreply.github.com>
Date: Thu, 13 Jun 2024 10:18:11 +0200
Subject: [PATCH] Update README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index c7280f8..44c4ea5 100644
--- a/README.md
+++ b/README.md
@@ -24,6 +24,7 @@ Register as plug-in using these commands (Ubuntu):
 ```make; make install```
 	* For Frama-C version 26 and onward:
 ```dune build @install && dune install```
+	* NOTE: For Frama-C version >= 29: Use branch framac29
 
 * Execution:  
 Run the plugin on file test.c as: