small update

[ar1516.git] / a2 / src / 2c.smv

diff --git a/a2/src/2c.smv b/a2/src/2c.smv
index a735f05..a9e12d2 100644 (file)
--- a/a2/src/2c.smv
+++ b/a2/src/2c.smv
@@ -1,8 +1,12 @@
 MODULE main
 DEFINE
-max1:=144; max2:=72; max3:=28;
+max1:=144;
+max2:=72;
+max3:=28;
 VAR
-b1: 0..max1; b2: 0..max2; b3: 0..max3;
+b1: 0..max1;
+b2: 0..max2;
+b3: 0..max3;
 INIT
 b1=3 & b2=0 & b3=0
 TRANS