From 134134e8e88d56deddcea0f931a11f0b1d1b4d09 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Thu, 5 Jan 2023 14:51:37 +0100
Subject: [PATCH] [doc]README now states example files are in the example
 folder.

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index bba3b3e..43ffe34 100644
--- a/README.md
+++ b/README.md
@@ -100,8 +100,8 @@ caisar verify --prover=PROVER FILE
 
 `FILE` defines the property to verify, and it must be
 written in the [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) language.
-Examples of [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) files (`.mlw`)
-can be found in the [tests](https://git.frama-c.com/pub/caisar/-/tree/master/tests)
+Examples of [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) files (`.why`)
+can be found in the [examples](https://git.frama-c.com/pub/caisar/-/tree/master/examples)
 folder.
 
 ### External provers detection
-- 
GitLab