From b43f300c8cdd1896555db7b246e19bdc548ab691 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= Date: Thu, 3 Oct 2024 19:53:49 +0200 Subject: [PATCH] Update. --- grid.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/grid.py b/grid.py index fcf741b..bddda6d 100755 --- a/grid.py +++ b/grid.py @@ -189,13 +189,14 @@ grid = FormalGrid(device=device) grid_set = grid.new_grid_set( [ - "2 top", + "4 top", "4 right", + "1 top", + "1 left", "1 left_of 2", "2 left_of 3", "1 2 4 right_angle", "1 2 3 aligned", - # "3 2 diagonal", "2 further_away_from 3 than 4", ], ) -- 2.39.5