... | @@ -239,7 +239,7 @@ the presence of more than one guard-vector, we should duplicate the pattern vect |
... | @@ -239,7 +239,7 @@ the presence of more than one guard-vector, we should duplicate the pattern vect |
|
(vec, [gv1, gv2, .., gvN]) == [ vec ++ gv1
|
|
(vec, [gv1, gv2, .., gvN]) == [vec ++ gv1
|