Relativize and fix link to examples.

epfl-lara · Jun 28, 2024 · 9976621 · 9976621
1 parent 73a628b
commit 9976621
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -11,4 +11,4 @@ This branch is an archive containing the implementation of the features presente
  - In the root folder, run `sbt`.
  - Type `project lisa-examples` in the `sbt` interactive console.
  - Then `run`.
-- All examples are implemented in [Example.scala](https://github.com/epfl-lara/lisa/blob/itp2024-archive/lisa-sets/src/main/scala/lisa/hol/Example.scala) .
+- All examples are implemented in [Example.scala](lisa-examples/src/main/scala/Example.scala) .