From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 6 Oct 2015 19:13:00 +0000 (+0200)
Subject: up',
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f45898248807227213a67d3bf3961fbf774d6416;p=master.git

up',
---

diff --git a/ar/assignments/4.smv b/ar/assignments/4.smv
index 2f98101..67d257b 100644
--- a/ar/assignments/4.smv
+++ b/ar/assignments/4.smv
@@ -5,7 +5,7 @@ a3 : 3..100;
 a4 : 4..100;
 a5 : 5..100;
 a6 : 6..100;
-c : 0..25;
+c : 0..30;
 INIT
 a2 = 2 & a3 = 3 & a4 = 4 & a5 = 5 & a6 = 6 & c=1
 TRANS