From 0dddf0008e1dbb9a4b54a0750545d306e2f7f9db Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sat, 3 Jul 2021 16:20:45 +0200
Subject: [PATCH] add missing condition for winning

---
 Sudoku/visb_sudoku.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Sudoku/visb_sudoku.json b/Sudoku/visb_sudoku.json
index ff92582..4da1b60 100644
--- a/Sudoku/visb_sudoku.json
+++ b/Sudoku/visb_sudoku.json
@@ -6,7 +6,7 @@
       "value" : "%x.(x:DOM|%y.(y:DOM|0)  <+ Board(x))"
     },
     { "name":"Won",
-      "value" : "bool(Board : DOM --> (DOM --> RAN))"
+      "value" : "bool(ENABLED(\"Solve\")=TRUE & Board : DOM --> (DOM --> RAN))"
     }
   ],
   "items": [
-- 
GitLab