From e471d47fd55e0b5a22a2a4d716d20dca05c1744f Mon Sep 17 00:00:00 2001
From: Lukian <lulul7018@gmail.com>
Date: Fri, 17 Jan 2025 14:05:20 +0100
Subject: [PATCH] commit

---
 projet.use | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/projet.use b/projet.use
index 1a415d9..a40ba48 100644
--- a/projet.use
+++ b/projet.use
@@ -65,7 +65,8 @@ operations
 constraints
     inv:
         plateau.cases->select(c: Case | c.x = x and c.y = y)->size() = 1
-    inv coordonne: x <= 10 and x > 0 and y > 0 and y <= 10
+    inv coordonne: 
+        x <= 10 and x > 0 and y > 0 and y <= 10
 end
 
 class Bateau