From f45898248807227213a67d3bf3961fbf774d6416 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 6 Oct 2015 21:13:00 +0200
Subject: [PATCH] up',

---
 ar/assignments/4.smv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.20.1