style: coffee intrpr file

pta2maude/tests/examples/coffee-intrpr.maude

@@ -17,7 +17,7 @@ mod MODEL is
                     (when p1 <= x local press do { x := 0 } goto sugar ;
                      when y = p2 local cup goto coffee)),
                 (@ coffee inv y <= p3 :
-                    (when y = p3 local coffee do { x := 0 } goto cdone)) ,
+                    (when y = p3 local coffee do { x := 0 } goto cdone)),
                 (@ cdone inv x <= c(10) :
                     (when x = c(10) local sleep goto idle ;
                      when True local press do { x := 0 ; y := 0 } goto sugar))