From 881c3792210805d8593d88e645b0b4e7c4ce331d Mon Sep 17 00:00:00 2001 From: Tamazouzt AIT ELDJOUDI <tamazouzt.ait-eldjoudi@etu.univ-amu.fr> Date: Wed, 29 Jun 2022 21:57:48 +0200 Subject: [PATCH] readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fa1c03f..74265e2 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ The main goal of the program is to generate the result of the beta_reduction of ## Table of contents -<!-- TOC -->- [the structures](#structures)<br /> - [what to install](#lib)<br /> - [how to install](#needs)<br /> - [utilisation](#utilisation)<br /> - [parsing ](#parse)<br /> - [documentation](#docu)<br /> - [contribution](#contri)<br /> <!-- /TOC --> +<!-- TOC -->- [the structures](#structures)<br /> - [what to install](#needs)<br /> - [how to install](#how)<br /> - [utilisation](#utilisation)<br /> - [parsing ](#parse)<br /> - [documentation](#docu)<br /> - [contribution](#contri)<br /> <!-- /TOC --> ## structures <a name="structures"></a> -- GitLab