From 6d8273617cbea2ba9e16e9b7dfc450f23b239395 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20LACROIX?= <rlacroix@insa-toulouse.fr>
Date: Wed, 15 Mar 2023 19:29:19 +0100
Subject: [PATCH] updated namings

---
 TP1/taquin.pl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/TP1/taquin.pl b/TP1/taquin.pl
index 9051f7f..fdf1431 100644
--- a/TP1/taquin.pl
+++ b/TP1/taquin.pl
@@ -57,7 +57,6 @@ initial_state([ [f, g, a],
 initial_state([ [e, f, g],
                 [d,vide,h],
                 [c, b, a]  ]). % h2=24, f*=30
-
 initial_state([ [a, b, c],
                 [g,vide,d],
                 [h, f, e]]). % etat non connexe avec l'etat final (PAS DE SOLUTION)